Thomas Jensen, The Royal Danish Orchestra & Danish Radio Symphony Orchestra