Thank you all for your replies and thinking along.
Most of these solutions were already tried, but to no avail.

Fortunately we figured out what the problem was in the end. Apart from the media player itself, it was also necessary to download a Media Feature Pack for the Windows 10 N-version. Once that was installed, everything worked as intended.

This thread may be closed.