Ich hab zwei Funkwecker, die ich auch manuell auf Sommerzeit umstellen muss: Stecker raus, Stecker rein.
Ich vermute mal, dass sie die Uhrzeit nicht um 3 Uhr, sondern um 0 Uhr abgleichen, weil sie nach einem Urlaub die korrekte Zeit anzeigten. Fail by ignorance.