a building for the performance of