The Rotterdamsche Droogdok Maatschappij.