20190804 city.agra: 60% of LED street lights in Agra do not work