Decoder for DIERRE