Germany closes its last hard-coal mine | Hacker News Reader