Translation of "Firedamp" in German