It might be that there is pun at all about them calling it Dachau and that was the point. Oh we can’t use this cheeky nickname anymore? Fine, we’ll just refer to it as Dachau. Ban that.