brigaden , kapten-vagtmester på Bergenhus ’ fästning Johannes Brun]