"gas cock, gas tap" Deutsche bedeutung