“Next month Tony Hall leaves the Royal Opera House to become director-general of the BBC. He has worked wonders in his 12 years as chief executive at the Royal Opera House, and he’s going to be one hell of a hard act to follow.” A look at what Hall’s successor will need to do and be.