Es ist "Das Erste HD" sowie (nun auch) "One HD". Z.B. "ZDF HD" läuft wunderbar
Um hier nicht abzuschweifen verweise ich aber der Einfachheit halber auf diesen Thread.
Hier ging es mir wirklich nur darum zu hören, ob überhaupt noch jemand den 2. RPi nutzt.
Danke und Grüße,
marexel