Alecto AK-40 Guide De L'utilisateur page 29

During summer time the "DST" icon appears. DST stands for
Daylight Saving Time.
To manually set the time:
If it's not possible to receive the DCF-77-signal, you may set
the clock time manually. During the manual setup, several other
functions may be set.
Press and hold the "TIME" button for 3 seconds until the RCC
value starts flashing. Use the "+" and "-" buttons to set the
values. Press the "TIME" button to confirm each step and to go
to the next setting. You may set the following functions.
RCC (DCF-77) time zone 12/24 hours hours
minutes seconds year day/month - month/day
day display
month day °C / °F
language
RCC (DCF-77): Switch the DCF-77 receiver on or off.
Time zone: For countries with the same time as Germany,
set the time zone to "0". For countries outside Germany's time
zone, the time zone should be adjusted. When using the DCF-
77 time, Germany is considered as time zone "0".
12/24 hours: Press the "+" button to switch between 12 hours
and 24 hours display format.
-29-