Hallo Vergrätztes Reptil. Es ist ein Hohlraum, wie Du richtig erkannt hast. Wird aber durchgängig als Höhle bezeichnet. Im Internet habe ich keine andere Bezeichnung für eine solchen Hohlraum gefunden. Sollte sich herausstellen, dass es noch mehr "Wetzsteinhöhlen" gibt, kann dieses Lemma für eine BKL genutzt werden und der Artikel mit einem Namenszusatz verschoben werden. -- Asurnipal 07:13, 19. Dez. 2016 (CET)