3 ms·

Yea, agree. And that's exactly what happened: German gas is now cheaper than it was before the war.