Library of the Real Monasterio de San Lorenzo de El Escorial, Madrid, Spain