Corpschefen i Christiansandsko infanteri-brigaden , öfverstelöjtnanter.