Danke für den Hinweis.
Eigentlich hätte ich angeboten zu helfen, um das selber anzupassen. (OSM lebt vom Mitmachen!)
Aber der Name wurde mittlerweile schon geändert:
https://www.openstreetmap.org/node/4621088133
