. . . "Cristo Redemptor" .