Seol mar théacs é seo: Die volkswirtschaftliche Bedeutung der deutschen Gasindustrie