Make a GIF from a video

Pick the moment, how long and how wide. The colors are tuned for each GIF, so it stays sharp.