How to pipe output from export into gzip?

Original text of this message