title: PostgreSQL - how to render date in different time zone?
body: <p>My server is in Central Time. I would like to render timestamps using Eastern time.</p>
  
  <p>For instance, I would like to render <code>2012-05-29 15:00:00</code> as <code>2012-05-29 16:00:00 EDT</code>.</p>
  
  <p>How can I achieve it?</p>
  
  <p><code>to_char('2012-05-29 15:00:00'::timestamptz at time zone 'EST5EDT', 'YYYY-MM-DD HH24:MI:SS TZ')</code> gives <code>2012-05-29 16:00:00</code> (no zone).</p>
  
  <p><code>to_char('2012-05-29 15:00:00'::timestamp at time zone 'EST5EDT', 'YYYY-MM-DD HH24:MI:SS TZ')</code> gives <code>2012-05-29 14:00:00 CDT</code> (wrong).</p>
  
  <p>This one works, but it's so ridiculously complicated there must be an easier way: <code>replace(replace(to_char(('2012-05-29 15:00:00'::timestamptz at time zone 'EST5EDT')::timestamptz, 'YYYY-MM-DD HH24:MI:SS TZ'), 'CST', 'EST'), 'CDT', 'EDT')</code></p>