Der heutige Artikel in Spiegel Online machte mich darauf aufmerksam, daß das Gebäude seit einiger Zeit anders heißt. Das ist alles sehr gut in der englischen Wikipedia beschrieben. Zu gegebener Zeit müßte das hier wohl auch mal geändert werden. Kann es leider nicht selbst machen, da mir zu oft Arbeit einfach blind reverted wurde. Keine Lust auf die Eitelkeiten einiger "wichtiger" Leute hier ... JB. -- 18:55, 30. Jun. 2018 (CEST)