Danish National Radio Symphony Orchestra, Thomas Jensen的 Thomas Jensen Legacy, Vol. 9