I googled hard and installed lots of different packages until I found out that gstreamer-ffmpeg will do the job. Note that you might need to restart your player after installing it.