The John Alldis Choir, Bernd Weikl & Orchestra of the Royal Opera House, Covent Garden