Danish Radio Symphony Orchestra, Thomas Jense...