— Den extra ordinarie militärbudgeten har i onsdags behandlats af norska stortinget.