Ist die Frage, wieviel Arbeit du dir machen möchtest. Wenn es tatsächlich zwei Bezeichnungen gibt und nicht zweifelsfrei festgestellt werden kann, welche korrekter ist, dann kann "alt_name" verwendet werden.

Ansonsten hier mal nach dem Ursprung des Namens nachfragen:

https://www.openstreetmap.org/changeset/101349107#map=14/48.2017/7.8594&layers=N