Das Verteidigungsministerium hat sich entschieden, Namen an ihren Stützpunkten zu ändern, wenn sie nicht zur gewünschten Tradition der Streitkräfte passen. Das hat demnächst auch Folgen für den Marinestandort Kiel. Wir erläutern, um welche Änderungen es konkret geht.