Re: Straßennamen Doktor - Dr.

Ich hänge mich hier mal an: Gibt es nun eine Art Konsens oder so etwas?

Ich stieß gerade auf das Thema, weil ich über Sankt Ingbert gestolpert bin, was im RL eigentlich überall St. Ingbert geschrieben wird.

Das mit dem TTS ist schon ein Argument, aber dennoch denke ich, es sollten in diesem Fall beide Varianten getaggt werden.

Den ein Kartenrenderer könnte zwar alle Sankt zu St. und alle Doktor zu Dr. machen, aber das geht auch nur unzuverlässig. Wir haben ja gesehen, daß es Fälle gibt, wo Doktor offiziell ausgeschrieben wird.

Also sehe ich hier zwei Optionen:

name=Sankt Ingbert
short_name=St. Ingbert

oder

name=St. Ingbert
long_name=Sankt Ingbert

(Daß man zusätzlich noch name:ipa=saŋkt iŋbɛɐt hinzuügen sollte/könnte, bleibt davon unberührt...)

Welches ist nun die allgemein favorisierte?