4 February 2020Royal Opera House, Covent Garden, LondonOrchestra of the Royal Opera House · Thomas Adès, conductor