photo credit: San Lorenzo de El Escorial via photopin (license)