omfatta 20,488 tons , hvaraf 9,582 skulle falla på pansarfartyg.