Modern techniques of excavation. (A shortened and revised version of Moving the