Main entrance of El Escorial in city of Escorial