Ist auf der Webseite der Stadt Köln sogar noch eingetragen:
https://web.archive.org/web/20260404171048/https://www.stadt-koeln.de/leben-in-koeln/kultur/koelner-kulturorte/00048/index.html

(Archiv-Link für die Nachwelt)

Da die alten Schilder - wenn auch runtergekommen - noch hängen, habe ich es mit https://www.openstreetmap.org/changeset/180864975 mal auf disused gesetzt.