Changing Audio output while watching over HDMI


please can you tell me if it is possible to Change Audio Output while watching through HDMI and how can I do it?

Thank you

It depends of your source. Which source do your HDMI signal come from?
If you have a PC (Windows or MacOs, for sure), you can choose which Audio Output you want to use. If you are using VLC, then the option is directly in the App, under the “Audio” Menu.

My source is a SAT-receiver

You may have to split off the audio before feeding it into the PPM.