rock-cutting dredger - Spanisch Englisch Wörterbuch