Fairnesshalber hätte die Höhle Michaelshöhle heißen sollen – immerhin hatte der Gärtner Michael Koch sie entdeckt, im Jahr 1833. Leider aber fand der damalige Besitzer von Burg Rabenstein und Umgebung, Graf Erwein von Schönborn zu Wiesentheid, dass die Höhle vielmehr seiner Nichte Sophie von Schönborn gewidmet sein sollte, und nicht dem niederen Angestellten. Also: Sophienhöhle. […]