Thomas Jensen, Danish Radio Choir & Danish Radio Symphony Orchestra