Repairs of manhole shafts