» Arabie » , 15,865 Reg.-Tons,