chefen för Jngeniör-corpsen , generalmajoren m . m.