20160517 city.bengaluru: Old quarries as tree parks