Name of, applied to the city of the redeemed