Historischer Bergbau im Harz. Ein Kurzführer