åstadkommer på fyra timmar ett 2 fot djupt och 3 fot bredt dike af en engelsk mils längd och förrättar sålunda samma arbete som 1,000 man.