Aus Jägerhofkaserne wird JägerhofQuartier