och chef för Kristianssandske infanteribrigaden.