Por entonces la ciudad era llamada "Redis" o "Reddis".