Henrikssen har utnämts till öfverste och chef för 3.e kåren af Kristianssundske brigaden efter aflidne öfversten C.