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