Leute, mehr als zwei Jahre nach dem Fund der "Venus" sollten wir hier doch die Macht des Faktischen anerkennen: fast alle Archäologen und die Presse sowieso haben sich nun an Hohlefels statt Hohler Fels gewöhnt. Wobei die meisten auch die falsche Schreibung Hohle Fels billigend in Kauf nehmen oder zumindest nicht darüber nachdenken. Da Hohlefels als historische Schreibweise legitim ist (siehe Namensgeschichte etc.), werde ich nun doch mal hier das Lemma und den Text anpassen. Dann gibt es zumindest eine Kongruenz der mündlichen Kommunikation über den Hohlefels alias Hohle Fels, ohne dass wir gleich die deutsche Rechtschreibung aushebeln.-- LS 11:00, 12. Nov. 2011 (CET)