Statsrädet Irgens , chef för norsta ar * me-departcmentet,