a theatre is used for performances