Henriksen har utnämnts till öfverste och chef för 3:e kåren af Kristianssandska brigaden efter aflidne öfversten C.