Yo el Casio 5610 durmiendo con él esa noche no sincronizó (a veces lo hace, pero 1 vez por semana, o cada 2). Al ser domingo no lo llevé puesto, pero al llegar la noche de nuevo, antes de ponérmelo lo dejé en la ventana donde siempre lo llevo a sincronizar manualmente (que suele ir bien siempre si es ya de noche), y me sincronizó a la primera, manualmente, y cambió al horario nuevo activando el dst (pues en automático, en la configuración). Si te sincronizó pero no cambió la hora, es posible que tuvieses el dst apagado, en lugar de automático?