20180530 city.delhi: Magenta Line shrinks Delhi a bit more