El Escorial, Madrid. San Lorenzo de El Escorial, España