* fixed nasty bug in timezonemanager which only appeared after the current DST switch