20130719 city.kolkata: Historian & scholar Barun De dies at 80