Danish Radio Symphony Orchestra, Danish National Radio Choir, Thomas Jensen & Agnes Giebel