So, Ton wieder da. Habe erstmal in den Einstellungen alle persönlichen Daten gelöscht. Den Punkt Werksresett habe ich noch nicht gefunden. Aber:
Habe mal am AVR alle Knöpfe an der Front mal rumgedrückt, und siehe da, es war nichts mehr ausgegraut, und ich habe wieder Ton. Dann mal für Ton auf Pure direkt gestellt, und dann mal in Kodi meinen Film mit DV gestartet. Was soll ich sagen: Es kommt am TV plötzlich das HDR Zeichen! Und die Farben passen auch wieder. Kerl in der Kiste, manchmal....
Jetzt kann ich weiter meine Harmony einstellen, und hoffen, dass dann alles wieder geht...