Er hat wohl nur einen DVB-T, was brauche ich dann für einen Receiver bei vorhandenem Sat-Anschluss im Haus?