El Escorial in the wintertime