Title: Der Einsatz des Energieträgers Gas im verarbeitenden Gewerbe der Bundesrepublik Deutschland