20170728 city.agra: When prominent theatre artists came together to stage their plays in Agra