Norwegian State Radio Opera Chorus / Waldemar Johnsen / Oslo Philharmonic Orchestra / Norwegian Radio Orchestra / Øivin Fjeldstad