också den stora högtids- och föreläsningssalen.