DEFLATER

Definition of DEFLATER