BOAC,
I suggest that you contact admin with details of your problem, what OS, browser etc.
FWIW, I'm using FF 33.0.1 and have DST set to auto, which works for me.
Here's my interpretation of the 3 options - DST always on means always show time as GMT+1, always off means never change from GMT, while auto detect means apply the DST adjustment at the appropriate date and time.
SD