chefen för Kristiansandska infanteribrigaden m . m.