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