Thanks for your thoughts! I did find a solution that worked for me, and this is what I did:
I used MediaInfo to check the file out. Maximum frame rate of 30, video encoded with AVC. I tried VLC again, enabling hardware acceleration. That was better than the first attempt with VLC, but still not...