Translation of "Cutter suction dredger" in German