( från Redis ; korrespondent .)