Für meine DM920 um den HDMI Eingang zu nutzen würde ich gerne das HDMI Plugin installieren. Leider habe ich es unter Erweiterungen (Plugin Browser) nicht gefunden! Wie kann ich dieses Plugin installieren?