Was isn mit dem Kabel Deutschland Receiver? Sagemcom RCI88-320 bzw. -1000? Taugt der nicht?