A Procedure for Disinfecting Water Mains