The Danish State Radio Symphony Orchestra, Mogens Woldike and Yehudi Menuhin