Here’s a chart of Germany’s energy mix over the last 30 years:

https://ourworldindata.org/grapher/share-elec-by-source?time...

Looks like coal usage for electricity production indeed only went up for ~3 years around 2011, probably we can consider that a mere blip within the downward trend.

Wind and solar indeed seem to pick up what nuclear used to bring to the energy mix. Gas usage is only slightly up over 30 years, which doesn’t look like it’s directly substituting nuclear — but surely it could have gone down had nuclear be kept around?

(Personally, I wish politics would have pushed harder against coal and simply ignored nuclear for a couple more decades. But political feasibility is important ofc, and I don’t know how hard of a sell that would have been in 2010.)