"gas tap/gas cock" Deutsche bedeutung