Der Fundplatz wurde in seiner Bezeichnung von den derzeitig Verantwortlichen vor einigen Jahren als "Hohle Fels" ohne Deklination festgelegt. Ob das glücklich ist oder nicht, ist eine andere Frage. Die Höhle wurde aber auch in den ganz alten Publikationen schon zuweilen Hohle Fels (ohne Deklination) genannt, von daher kann man die Entscheidung so akzeptieren.-- LS 12:14, 14. Mai 2009 (CEST)