Verwirrung um Zitadelle – Spandau oder Berlin?

Im Internet ist nach einem Zeitungsartikel ein Namensstreit um die Zitadelle in Spandau entbrannt. Aber wie heißt die Festung denn nun offiziell?