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