which is plenty because the winter is ending, so even without gas nobody should freeze. What would the industry do is other question.

There have been energy crisis in the past and most people survived it, albeit with major inconveniences. I would say that is a small price to pay for peaceful resolution.