vdr-plugin-vdrmanager_0.2-1_amd64.deb video extra