By gaz nie stanowił zagrożenia, wszelkie jego wycieki muszą być błyskawicznie wykrywane. Powstało więc wiele rozmaitych mierników...