— Generalmajoren och chefen förJngcniörkårcu