I googled around a bit and it appears that "There isn't a way to make steel at any scale without using coking coal in the furnaces." is a coal industry talking point.

Here's a 2013 article about making steel without coal: https://www.scientificamerican.com/article/cleaner-cheaper-w...

And something from 2018: https://www.technologyreview.com/s/611961/this-mit-spinout-c...

Not proven at scale yet, but it appears to be more promising than many other unsolved climate problems.

Also, natural gas is already being used at scale to make steel, not a complete replacement of coal, but a big reduction.

> There isn't a way to make steel at any scale without using coking coal in the furnaces.

At least for Germany (as mentioned by GP), that business will not be around for much longer. Steel from China and India simply is too cheap compared with domestic production. Probably once these two countries get too expensive production will shift over to Africa...