"trench cutter" Deutsche bedeutung