06. Juni: Auch bei Tauchern ist dieses Bergwerk beliebt