Zuletzt kamen noch etwa 30 Prozent des hierzulande verbrauchten Gases aus Russland