Nokia Lumia 928 - How do I export a cinemagraph as a .gif file on my Lumia?

After opening the cinemagraph in the application (in the viewing mode), select export gif from the menu. The cinemagraph is saved as a .gif file in the Saved Images album.