20181229 city.delhi: How metro dug deep to make space for its smallest station