20181217 city.delhi: Delhi International Arts Festival comes to a grand close