YourDictionary

Pintsch gas

a gas obtained by the destructive distillation of petroleum, formerly used for lighting

link/cite print suggestion box