Interesting. I read many articles about Germany doing the opposite and investing into coal mines the last years. Maybe I am misinformed. I recalled some big anti coal protests last year
Germany invested some cash in coal, but also invested a shitton more in renewable energy, thus making coal's share of the energy pie smaller than before they axed nuclear.