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