Ribe katedralskole- og stiftsbibliotek.