uppförandet af en manege vid norska kavalleri-brigaden.