Hab ich probiert - klappt. Leider bringt das andere Probleme mit sich. An der Surround-Anlage wird der passende Ton-Eingang nicht automatisch erkannt.
Es hängen da aber noch weitere Zuspielgeräte am HDMI.
Vielleicht kommt das seit Januar überfällige Pioneer VSX-S520D dann damit klar. (Sofern es dann jemals geliefert wird....)