"coal-derived gas" Deutsche bedeutung