Efficient detection of SF6 leaks