Danke, ergänzt:
https://www.openstreetmap.org/changeset/179600939

p.s. Falls du gerne selber Informationen in die Karte eintragen möchtest, ist hier ein Einstieg zu finden: https://www.openstreetmap.de/123/

Oder gerne auch im deutschen Forum nachfragen: 
https://community.openstreetmap.org/c/communities/de/56