{ details = {GMT+0130 = {abbrev = GMT+0130; isDST = 0; offset = +1:30:00; }; }; }