molti per pigrizia lasciano sempre lo stesso orario col timer, quando ci sarà di nuovo il cambio di orario tra alcuni mesi il timer resta già giusto..
a me è capitato...
non mi interessa molto se la vasca si spegne un'ora prima o un'ora dopo
IMHO i passaggi ora legale-solare sono una nostra invenzione. pesci e piante non ne hanno bisogno, hanno più bisogno forse di un ambiente stabile, senza sbalzi (nè di valori nè di luce nè di temperatura etc)
poi se si tratta di adeguare il fotoperiodo della vasca alle nostre esigenze (per esempio orari di lavoro etc) allora è un altro discorso
ma è solo la mia opinione