mindre tribuner för teaterpersonalen och sångkören.