Thank you for the response, John.
I tried an earlier version, which did not work either, so I re-installed the latest version, which immediately did work with the laptop's speakers. When I plugged in a USB sound card, which then became the default, it stopped working again.
After a reboot, I...