Umbenennung ist erfolgt.¹ timmito hat sich bereits darum gekümmert.²

1) https://www.saarbruecken.de/rathaus/stadtverwaltung/oeffentliche_bekanntmachungen/bekanntmachungen/bekanntmachungen_detail/article-6582f5c8edea9
2) https://osm.org/changeset/145906894