20181219 world.europe: End of an era as Germany's last black coal mine closes