> and coal mining continues to this day.

Actually they just closed the very last mine - http://time.com/longform/germany-coal-mine/

>Coal was once the lifeblood of Germany’s economy, providing energy, jobs and a way of life for hundreds of thousands of people. But on Dec. 21, that era — which began during the industrial revolution and peaked in the 1950s — officially comes to an end, as the country’s last black coal mine is sealed up for good.