SAN LORENZO DE EL ESCORIAL: San Lorenzo de El Escorial.