Installing a manhole