End of an era as Germany’s last black coal mine closes