https://www.dreambox-blog.com/index.php/8718/hdmi-input-mit-der-dm820-und-dm7080-nutzen