{ details = {"GMT+1000" = {abbrev = "GMT+1000"; isDST = 0; offset = "+10:00:00"; }; }; }