Hallo 192.0.2.255, die Artikel sollten separat bleiben und der Artikel über das Besucherbergwerk weiter ausgebaut werden. Es gibt mehrere Artikel wo der Artikel über das Bergwerk vom Artikel über das spätere Besucherbergwerk jeweils eigene Artikel haben. -- Pittimann 19:22, 2. Nov. 2018 (CET)