20200818 city.agra: Restaurants & gyms to start operating in Agra from Tues