[vdr] Any really working HD video output systems for VDR?