operas, ballets, plays, and other theatrical shows, staged at the Heriot Watt Theatre in