Hallo WoSoe,

Danke für den Hinweis, ich habe auch gemerkt, dass es hier unterschiedliche Bezeichnungen und Schreibweisen gibt. Selbst auf der Internetseite der Stadt Lauf werden unterschiedliche Varianten verwendet.

Im BayernAtlas ist sogar die Stadtbezeichnung in der Karte mit Abkürzung. in OSM dagegen ist es ausgeschrieben. Ebenso auch beim Area-Bezeichner.

Ich werde es in den nächsten Tagen ändern