Hallo,

ich kenne das so, dass wenn ein Name einer geschlossenen Einrichtung ggf. noch im örtlichen Sprachgebrauch, bzw. zur Orientierung Verwendung findet, man diesen drauflassen kann.

- Wie das jetzt tatsächlich im Ort ist, kann ich nicht beurteilen; Soll ich ihn also entfernen?

Viele Grüße 
Emilius