I've just been told (by e-mail) by someone in Jerez that November 1 is a public holiday. Does anyone know what it is?