Basílica del Real Monasterio de San Lorenzo de El Escorial (San Lorenzo de El Escorial) San Lorenzo de El Escorial