Kleines Update: Sound über DisplayPort funktioniert auf meinem NUC auch nach etlichen Updates seitens Microsoft und Intel weiterhin nur ca. alle 14 Tage einmal. In der Zwischenzeit habe ich ein HDMI-Kabel ausprobiert, und siehe da: es wurde Sound wiedergegeben! Allerdings nur bis zum nächsten Start des Rechners...