Eure Hinweise haben zwar nicht bewirkt, dass ich arte HD auch auf Deutsch schauen kann, aber ich weiß jetzt woran's liegt:
Mein Philips unterstützt wohl kein DD. Es wird nirgends angeboten und im gesamten PDF-Handbuch gibt's nicht einen Treffer zu "Dolby".

Die Statusanzeige der Sender ARD HD, ZDF HD und arte HD zeigt zudem bei Audio immer nur "Mpeg 2/0" an.
Interessanterweise könnte ich aber bei ARD HD zwischen den Audiosprachen "Deutsch" und "mis" und bei ZDF HD zwischen "Deutsch", "mis" und "mul" wählen.
Was immer das für "Sprachen" sein sollen...