Mein Rechner hatte schon lange unter Windows 10 Probleme. Zuletzt konnte ich noch nicht mal Updates einspielen. Vielleicht lag es auch am Dual-Boot mit Linux. Jedenfalls habe ich über die Platte gebügelt und Windows 10 neu installiert und – siehe da – ein neues Problem. Nun ging der Sound meines HP-2310ti-Monitors nicht mehr. Letztlich lässt sich das Problem aber einfach lösen: Man muss einen Audio-Codec-Treiber zurücksetzen. Die Einzelheiten dazu findet man unter dem Eintrag des Microsoft-Forums.