So geht’s:

Die .avr-Dateien in .h264 umbenennen (Achtung, nicht einfach den Suffix ausblenden und .h264 anfügen!), die .h264 kannst du dann z.B. hier in mp4 umwandeln lassen: https://www.filezigzag.com/h264-mp4-en.aspx