MPEG/DVB decoder