Thomas Jensen, Danish Radio Symphony Orchestra & Danish Radio Choir