20020814 city.mumbai: Termination of pump allotments stayed