Sir Thomas Allen: 40 Years at the Royal Opera House