I found out that I can only set an offset in my session timezone
in my ISP's MySQL server, not a timezone. So I am left with the
task of setting the offset, which will vary, depending on whether
or not DST is in effect.
Is there a way of discovering, from a PHP script is we are in DST
or standard time ?