Title: Bibliotheca nobilissimi principis Johannis Ducis de Novo-Castro