Den extraordinarie ] norska militärbudgeten behandlades i går stortinget.