Wie kann beim Raspberry Pi die Systemzeit auf Winterzeit/Sommerzeit manuell gescheckt bzw. gestellt werden?

Jetzt gilt in Deutschland wieder die Winterzeit. Wie kann man checken ob der Raspberry Pi automatisch richtig umgestellt wurde?

Einfach auf der Konsole

eingeben. Ausgabe z.B.

Wenn die falsch ist, kann auch mit date –set=NEUE_ZEIT die Zeit gestellt werden, siehe date –help.