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