konungen utnämd till generalmajor och chef för norska ingeniörbrigaden.