ny kasern för gardeshnsarregementet i Köpenhamn.