anses krigsministeriets personal kunna förminskas i en ej obetydlig grad.