. . . "Cristo Redemptor" . . . .