20211217 city.kolkata: Girish Park repair