Dredgers; Soil-shifting machines mechanically-driven with reciprocating digging or scraping elements moved by cables or hoisting ropes {; Drives or control devices therefor }