Svend S. Schultz, Thomas Jensen, The Danish State Radio Symphony Orchestra, Danish Radio Choir