I was able to do some research and indeed such a function is described in the manual. The manufacturer calls it "HDMI mit einem Kabel / HDMI with One Wire". This function can be switched on and all devices connected via HDMI can be controlled with one remote control.