How to turn a gif into a video file