"gas installations" Deutsche bedeutung