Also habe jetzt einiges probiert, dein vorgeschlagener Workaround hat dabei leider nicht geholfen. Er hat mir aber auf die Sprünge geholfen um eine Lösung zu finden:
* Den TV nochmals als zusätzliches neues Gerät einrichten
* Die Betriebseinstellungen für das neue Gerät anpassen: 2 Tasten für Ein-/Ausschalten
* Die Taste fürs Einschalten bekommt den Befehl "InputHDMI2" zugewiesen (hier kann man die HDMI Befehle glücklicherweise auswählen)
* Die Taste fürs Ausschalten bekommt den Befehl "InputHDMI1" zugewiesen
* Die Aktivität Sky bekommt nun dieses neue Gerät zusätzlich mitkonfiguriert, d.h. es wird an letzter Stelle der Aktivität-Reihenfolge eingeschaltet und an erster Stelle wieder ausgeschaltet
Et voilá, HDMI wird so wie gewünscht gewechselt
Vielleicht hilf dieser Workaround ja dem ein oder anderen...