. . "world premiere" . . . "Halleluja, vår strid er endt" . . . .