Nachdem es mal funktionierte und mal nicht, habe ich nun den Fernseher in Verdacht. Als es das letzte Mal nicht funktionierte, ging auch der rote Knopf für HbbTv nicht. Nach Netzstecker vom Fernseher rausziehen und wieder einstecken, lief beides. Hm....
Danke für den Hinweis mit Serviio, werde...