Re: [vdr] DVB (usb) device hotswapping?