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