Die Diskussion hat unter Diskussion:Hohler Fels (Hohler Fels vs. Hohle Fels) schon bis zum Exzess und seit Jahren stattgefunden und kocht immer wieder neu auf ... Letztlich ist es egal, da es beide Bezeichnungen gibt - und bei uns die Möglichkeit der Weiterleitung vom einen auf den anderen Namen. Da steht Grammatik gegen Namens-Konvention - beide Verwendungen sind belegbar, stimmen eben beide. -- Rax 23:26, 17. Mai 2009 (CEST)