what time zone has an offset of 12.75?
(AND time.time_zone (JOIN time.time_zone.offset_from_uct 12.75^^http://www.w3.org/2001/XMLSchema#float))