Black dust, shrill metallic noises, dark tunnels, muscular bodies – all that is the past. At the end of 2018, extraction of coal throughout Germany came to an end. That…