Okay ich habe angenommen, dass wir vielleicht auch die ID von HDEF patchen müssen so wie der Kollege in dem Github Issue.
Es gab schon manche User, die mühsam damit gekämpft haben, bis sie erkannten, dass der Monitor keine Audio-Ausgabe machen konnte oder einfach nur der falsche Audio-Ausgang gewählt war...
Können wir in meinem Fall ausschließen, die einfachsten Problemlösungen versuche ich als erstes anzuwenden. Wünschte aber es wäre so einfach.
Warum ich mir jetzt aber diesen 1.8GB großen Ubuntu-Bären aufbinden musste versteh ich auch nicht, noch 600MB aber hoffentlich hilft es.
Edit: So gerade den Ubuntu Live Stick hochgefahren, dort kann ich HDMI Audio auswählen und es funktioniert auch problemlos. Wenn ich zurück auf macOS wechsle, kommt jedoch immer noch kein HDMI Gerät zur Auswahl..