ordinarie militärbudgeten behandlades i dag i lortinget.