byggnad , hvari domkyrkobiblioteket är inrymdt.