Industrial use of flammable gas detectors.