( Från redis korresp .)