I have forgotten that I have set the option hwdec=auto in my config file. Without the config file, the default call of mpv does not crash on a video.