man-hole Tube (1715)