timestamp formatting is local time zone dependent