Demodulator: deleted obsolete implementation.