No more sound on laptop after upgrade (TUXEDO InfinityBook Pro 16 - Gen7)

Turns out I don’t have sound any more for a quite long time now (several months). It just stopped working.