operas, ballets, plays, and other theatrical shows staged at London