i stortinget förelåg i tredags den extra ordinarie forsvarsbudgeten.