jedes halbe Jahr der gleich Mist

Jetzt meine Frage: kann der 5000 eigentlich mittlerweile automatisch die Uhrzeit umstellen oder bin ich vielleicht zu blöd?
In den Einstellungen steht zwar automatisch, aber ohne manuelle Korrektur der Zeitdifferenz tut sich nichts.

Heutzutage kann doch jede Spielzeuguhr die Zeit automatisch umstellen.
Warum nicht mein geliebter Topf?
