Hafenbecken {n}	harbor basin, harbour basin, (wet) dock