ordinarie militärbudgeten behandlade^ i dag i stortinget.