Castle to castle: The Saadian Library in the El Escorial Collection