Gas bubble detectors