Norges extra ordinarie försvarsbudget.