{ details = {GMT+0930 = {abbrev = GMT+0930; isDST = 0; offset = +9:30:00; }; }; }