Hallo Zarl,
ich hatte den Namen hiervon übernommen: https://www.wochenanzeiger-muenchen.de/m%c3%bcnchen/salamander-city,14961.html Ich halte es nicht für eine Scherzbezeichnung. Ich kenne zumindest keine Behörde oder Einrichtung, die über den Status von Namen entscheidet. Es sei denn wir beschränken uns auf Namen, die in amtlichen Topo-Karten verwendet werden. VG Rudolf