biblioteket och domkapitlet hålla till i det gamla gymnasiehuset.