Antwort
es gibt dafür verschiedene Adapter, welche das Audio-Signal vom HDMI-Kabel trennen und es dann bspw. über Toslink (Optical Out) ausgeben. Nennen sich Audio Extractor/Splitter. Z.B. sowas hier: https://www.amazon.de/dp/B01BMI4OHS/ref=wl_it_dp_o_pC_nS_ttl?_encoding=UTF8&colid=1DO1362NMXLIJ&coliid=I2TFVJH2Q5UCB0