Krise? Welche Krise? - zum aktuellen Stand der Gasversorgung in Deutschland