och dess brutto-tonnage är 10,000 tons.