Danish Radio Symphony Orchestra, Tivoli Concert Hall Orchestra, Orchestra of the Royal Chapel & Thomas Jensen