Danke für den Hinweis. Noch besser wäre es, dies selbst einzutragen.
Jeder kann OpenStreetMap bearbeiten. Näheres dazu hier:
https://learnosm.org/de/
Sobald man ein Benutzerkonto und Passwort besitzt, kann man die ersten Beiträge zur Karte leisten.
Wie man dazu kommt, ist hier zu finden:
https://learnosm.org/de/beginner/start-osm/
Auf der OpenStreetMap-Website
https://www.openstreetmap.org/#map=15/48.9531/9.1402
auf “Registrieren” in der oberen rechten Ecke der Seite klicken.
Den Editor JOSM erhält man hier:
https://josm.openstreetmap.de/wiki/De%3AWikiStart
Erklärungen dazu gibt es u.a. hier:
https://learnosm.org/de/josm/start-josm/
https://einklich.net/osm/osm-tutorial.pdf
https://wiki.openstreetmap.org/wiki/DE:JOSM/Guide
Dazu gibt es auch etliche Filme, z.B. hier:
https://www.youtube.com/watch?v=iHLUdy5TuQI
https://www.youtube.com/watch?v=FbBIGJAL6NU
Hilfe erhält man auch über das Forum:
https://forum.openstreetmap.org/viewforum.php?id=14