A patch to the time functions (ctime, localtime), which allows
them to read in timezones that are four chars long, like CEST.
I did not want to change the output scheme, so the timezones
are read in, but cutted to three chars when printed.