Benennung von Spielplätzen

Hi Leute, ich brauche einmal den Rat etwas erfahrenerer Mapper.

Zwei Spielplätze in meiner Gegend tragen seit einiger Zeit den Namen, unter dem sie lokal bekannt sind (konkret geht es um https://www.openstreetmap.org/way/235365845 und https://www.openstreetmap.org/way/269939500). Jetzt steht in der Wiki, dass der überwiegend verwendete Name mit "name=" zu taggen ist, auch wenn es sich nicht um die offizielle Bezeichnung handelt.

Offiziell tragen die Spielplätze nämlich die sperrigen Namen "2327 Mühlgraben/Teichmannshof", bzw. "501 FZ Hanoier Straße/Geraaue" (Quelle ist die Seite der Stadt, siehe http://www.erfurt.de/ef/de/leben/fuer/k … 8560.html), wobei die Nummer als Referenz dient. Jetzt meine Frage: Wie benenne ich die Spielplätze? Mit der offiziellen Bezeichnung, die jedoch keinem der von mir befragten Passanten bekannt war? Oder verwende ich loc_name und official_name ohne das name-Tag?

Könntet ihr mir kurz eure Meinung dazu geben? Vielen Dank im Voraus!

Grüße,
Thalassin