>>64458256
Then there's industrial process heat (lots of gas since then replaced with oil), home heating (~50% gas).
A lot of russian gas was replaced with american gas. But there was also a lot from norway and the netherlands, which is still flowing.