Die Video-Animationen stehen in drei Formaten zur Verfügung:

  • Video-Animationen im wmv-Format (wmv = Windows Media Video) und im MPEG4-Format (avi = audio video interleaved) können mit dem weit verbreiteten, kostenlosen VLC Media-Player [ca. 17 MB] betrachtet werden.
     
  • Video-Animationen im rm-Format (rm = RealMedia) lassen sich mit dem kostenlosen RealMedia Player [ca. 11 MB] betrachten.
Die Dateigrößen der Animationen schwanken zwischen 9 und 50 MB.
Dokumente im Personal-Document-Format (PDF) mit dem kostenlosen Programm Acrobat Reader von Adobe betrachtet werden.