krigsministern komma att förelägga stortinget en extraordinarie försvarsbudget på 4 * / a millioner.