; kasern ( norra ).