Yeah but a lot has changed since 1991. Wagner was named after Hitler’s favorite composer, and I don’t think that was a mistake. I suppose outright putting up a statue of a Nazi is still taboo there though.