The Royal Opera Chorus, Gert Henning-Jensen &...