har chefen för Christianssandske infanteribrigaden , generalmajoren m . m.