20180525 city.dehradun: What's keeping Doon kids busy this summer holiday