I've tripled all the values in "Advanced/File Caching", but so far the issue remains. However moving the file to the desktop made it playable in VLC. Unfortunately that doesn't really help since I can't move all affected videos to the desktop, they are supposed to stay on the external HDD....