I thought that was the strongest point bought up so far, and the orders of magnitude do seem to check out. Although I'd note that Germany's electricity production has also drifted back to the 20th century and prices seem to be ~3x the USs and 5x China's so energy-related pressure still looks like a potential root cause to me.