"dredgers, dredger" Deutsche bedeutung