Correção - horário de verão brasileiro e horário português

Corrijo agora um erro que cometi no post anterior sobre a diferença de horário entre Brasil - Portugal.
Está correta a informação de que o horário de verão brasileiro começa na madrugada do próximo sábado para domingo, ficando a diferença entre os fusos de 3h.
Porém (essa informação eu descobri hoje), dia 31 de outubro aqui em Portugal teremos que atrasar os relógios em 1 hora. Aí ficam 2 horas de diferença.
Erro cometido, erro corrigido. :P