Voormalige produktiehal, Rotterdamse Droogdok Maatschappij