The benefits of animated .gif files are that they play in the browser without the need for a plugin. This was designed in Adobe Flash and exported as a GIF, but could easily be be converted to an animated html5 canvas in Adobe Animate.
Media
Vector based Flash file, with all the graphics drawn in Flash as vectors (no linked files) and exported as a GIF.