{ details = {GMT+0230 = {abbrev = GMT+0230; isDST = 0; offset = +2:30:00; }; }; }