…ja, ich habe bereits alle HDMI Anschlüsse ausprobiert. Es hat auch tatsächlich nur einer ein „PC-Profil“. Es tritt aber überall dasselbe Problem auf. Daran liegt es also auch nicht.
Ich überlege noch, wenn gar nix anderes funktioniert, den Macmini über die anderen Anschlüsse (Scart, Chinch…) zu verbinden. Allerdings fehlen mir hier die nötigen Kenntnisse, Kabel und Adapter um Bild und Ton vernünftig zu übertragen.