20180728 city.agra: Rainwater drips into Agra varsity offices