What historical residence of the King of Spain is that?
The Royal Site of San Lorenzo de El Escorial, commonly known as El Escorial, is one of the Spanish royal sites and has functioned as a monastery, basilica, royal palace, pantheon, library, museum, university, school and hospital. It was declared the UNESCO World Heritage Site in 1984.