den gamla gymnasiibvguaden , numera vanligen Stiftsbiblioteket kallad.