Widening a harbor basin, demolition of a deep see quay wall in Rotterdam