att stortinget skall bevilja såsom extra ordinarie försvarsbudget.