[OSM-Dresden] Umbenennung DVB-Haltestellen

[Jochen Topf]

Frohes neues Jahr!

die DVB hat zum Jahreswechsel einige Haltestellen umbenannt:
https://www.dvb.de/de-de/aktuelles/aktuelle-meldungen/fahrplan/

Ich habe die Änderungen umgesetzt und die alten Namen in old_name
eingetragen. Teilweise haben sich auch nur die Zusätze in Klammern
geändert, z.b. Körnerplatz nach "Körnerplatz (Dresdner Bergbahnen)".
Diese Änderungen habe ich außen vor gelassen, vielfach sind die Namen in
Klammern auch vorher nicht drin gewesen, das ist ein bischen uneinheitlich.

Jochen
-- 
Jochen Topf  jochen at remote.org  https://www.jochentopf.com/  +49-351-31778688