Thomas Jensen, Danish Radio Symphony Orchestra & Tivoli Concert Hall Orchestra