Mloni
Mit Anonym zu diskutieren ist müßig. Das Gebäude bzw. die Örtlichkeit ist vielen MünchnerInnen noch unter diesem Namen bekannt. Wenn die neue Nutzung mit neuem Namen eingetragen wurde (melde dich doch z.B. an und tue es einfach) könnte man ja auch ein ergänzendes old_name oder alt_name daraus machen. Dann wird es auch nicht mehr angezeigt und verstört auch niemanden mehr.