pyram
Entschuldigung, aber Wikipedia ist nie ein Nachweis für eine "offizielle" Bezeichnung.
Auf der vorgenannten Website https://kaiserpfalz.forchheim.de/
steht im Impressum immerhin der Oberbürgermeister.
Und vor Ort wird das auch so bezeichnet.
Wahrscheinlich sollte jemand den Wikipedia-Artikel verbessern ;-)