Simple DVB-T channel demultiplexer