Hallo, hier die Erklärung eines Kartographen, der solche Namen im Übermaß kennt: Wer sich alte topographische Karten (vor 1850), z.B. Preußische Urmesstischblätter, anschaut, wird bald bemerken, dass fast alle Kartennamen (Objektbeschriftungen) außer Siedlungsnamen grundsätzlich mit Artikel geschrieben wurden, also auch in unserem Fall höchstwahrscheinlich "Der Hohle Fels". Später wurden dann die Artikel aus den Kartenoriginalen gelöscht, ohne die grammatische Form, in unserem Fall in "Hohler Fels" zu ändern. Einen Duden gabs damals ja noch nicht und in der Rechtschreibung herrschte Willkür, ein Tatbestand der ja Herrn Duden zu seinem Wörterbuch veranlasste. Diese verkrüppelten Namen gibt es tausendfach in ganz Deutschland und es gibt keine Aussicht, dass daran was geändert wird. Die Hoheit über die Namensgebung liegt grundsätzlich bei den Gemeinden. Die haben aber andere Sorgen, und Ahnung von Namensbildung hat in der Regel kaum einer. Eine beratende oder bestimmende Institution oder Behörde fehlt in Deutschland auf allen Ebenen sowieso. HeBB 21:03, 14. Mai 2009 (CEST)