"gas cock/gas tap" Deutsche bedeutung