And for those that argue coalmining was targeted by politicos instead of rank economics let me point out that In the US mining employment was 50,000 in 2015, down from 823000 in 1923. In Germany 610,000 were employed in the mines in 1977, the figure was well under 50,000 in recent years.