hade tontalet vuxit till omkring 513,000 ton , fördelade på 455 rederier.