Wenn ich es richtig verstehe, lautete der offizielle Name der Kaserne von 1937 bis 1945 "Schlageter-Kaserne" und von 1945 bis 1992 "Vauban-Kaserne". Warum lautet dann das Lemma hier Schlageter-Kaserne ? Wäre es nicht angemessen, den Artikel nach Vauban-Kaserne zu verschieben? Es ist immerhin der Name, der am längsten und vor allem zuletzt galt und immerhin hat sich der Name heute für das Wohngebiet erhalten. -- JuTe CLZ 22:53, 8. Okt. 2011 (CEST)