Lo siento, pero sigo sin encontrarlo....
EDITO: Lo he encontrado pero lo tengo bien configurado: En horario tengo: GMT Horario de Europa Occidental, Londres, Lisboa.
Y bajo tengo seleccionado Detectar config. DST (horario de verano) automáticamente, pero no va bien la hora..