Habe ich, und (laut Anleitung des Monitors) auch in der boot-config HDMI=2 gesetzt.

Nachdem ich noch mal gegoogelt habe, habe ich beim Start auch mal das Lautsprecher-Icon in der Top-Leiste gecheckt. Da gibt es nur "Audio Jack", und ich kann nicht auf HDMI umstellen.

Die zwei Minilautpsprecher auf der Monitorürckseite scheinen auch korrekt eingesteckt.