Wetzsteine wurden ja auch anderswo gewonnen, es gibt z. B. in der Nähe von Spiegelberg einen Wetzsteinstollen. Und ist "Höhle" in diesem Fall überhaupt die richtige Bezeichnung? -- Vergrätztes Reptil 06:49, 19. Dez. 2016 (CET)