{details = {WST = {abbrev = WST; isDST = 0; offset = "+8:00:00"; }; }; }