Mafra National Palace Library ve městě Mafra v Portugalsku.