Text this: Die volkswirtschaftliche Bedeutung der deutschen Gasindustrie