Ocean mining ; symposium OSM [as printed] II. (World Dredging Conference, 1973)