Change time zone settings

Switches from Extreme Networks- at least the ones from the Summit series- change their time zone settings at the wrong time. In current settings triggering for CEST is already done at the 2nd sunday in march.
This is wrong- at least for Germany. There the switch to summer time should be done on the last sunday in march at 2 a.m. Switching back to winter time should be done at 2 a.m.- not 3 a.m. at the last sunday in october.

To correct these settings the following line needs to be added to configuration:

 
configure timezone 60 autodst begins every last sunday march at 2 00 ends every last sunday  october at 3 00
  This sets DST to "german compatible" values. To display the settings "show switch" can be used:  
...
Timezone:         [Auto DST Enabled] GMT Offset: 60 minutes, name is not set.
                  DST of 60 minutes is currently not in effect, name is not set.
                  DST begins every last Sunday March at 2:00
                  DST ends every last Sunday October at 3:00
...