20180910 city.delhi: Town Hall to be a heritage hotel?