20200703 city.varanasi: Sumer Sagar Lake to berevived; buildings razed