Describir: Industrial gaseous leak detection manual