Die Literatur - insbesondere Kimmig - zeigt, dass es sich um keine mittelalterliche Burg handelt. Es gibt auch keine urkundlichen Hinweise auf eine Burg, sondern nur auf einen Steinbruch. Wallburg ist daher die korrekte Bezeichnung. Ich schlage vor die Weiterleitung von Burg Hornfels gleichwohl zu belassen. -- Zieglhar 16:33, 3. Jul. 2020 (CEST)