20200624 city.jaipur: Century-old pump house converted into cafeteria