what time zone is 13.75 dst different from utc?
(AND time.time_zone (JOIN time.time_zone.dst_offset_from_utc 13.75^^http://www.w3.org/2001/XMLSchema#float))