Ich bin mir da auch nicht sicher - kuhni du weißt ja wie das mit historischen Einträgen in der OSM ist ;-)
Wäre er als alternativer Name auch heute noch in Verwendung - kein Problem. ICh würde ihn eher nicht eintragen, denn mit dieser Begründung könnte man abertausende Objekte mit deren alten Namen, die sich teilweise auch wieder mehrfach in der Geschichte gewechselt wurden taggen - und genau das ist in der OSM nicht gern gesehen, da wird immer auf die open-history Map verwiesen.

Dann gibts hier auch noch ein Aussichtsplatzl, das heißt "Lilienkogel" - auch ein unüblicher Name hier - Name löschen/ändern?