20180526 city.dehradun: Summer Theatre Festival a hit among tourists; locals