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