Gaseous mixture produced by distillation of bituminous coal and used for heating and lighting English: coal gas