Norges e. o. försvarsbudget.