Cómo instalar vdr-plugin-dvbhddevice en Debian 9 (Stretch)