vanligen kalladt » Lilla kasern ».