Spain, San Lorenzo de El Escorial