20191209 city.agra: Leakage in main pipeline affects over 12 localities in Agra