Bedienungsanleitung zu den Videos

• Videos im "AVI"-Format muß man erst downloaden (rechte Maustaste; aus dem Kontextmenü auswählen: "Link speichern unter...").
  Um sie anzusehen, braucht man eine aktuelle Version (mindestens 6.4) des "Windows Media Player" - kann man unter www.microsoft.com downloaden, ist bei allen halbwegs aktuellen Windows-Versionen aber ohnehin schon dabei.
• Für die (neueren) Videos im "DivX AVI" Format braucht man außerdem den passenden "Codec" (nämlich DivX). Den könnt ihr z.B. hier downloaden. Das Exe-File installieren (Doppelklicken, der Rest sollte von selbst gehen). Danach kann man Videos, die mit diesem Codec erstellt wurden, ganz normal mit dem Windows Media Player abspielen.
  Dass man den DivX-Codec noch nicht installiert hat, erkennt man übrigens daran, dass der Media Player beim Klick auf ein AVI-File 'rumnörgelt, dass er keinen passenden Codec finden kann. Er versucht dann, eine Internet-Verbindung zu Microsoft herzustellen und den Codec von dort zu laden; das klappt aber nicht, weil der DivX Codec nicht auf den Microsoft-Seiten 'rumliegt :) statt dessen muss man ihn "von Hand" installieren, wie oben beschrieben...
  
• Videos im "RealVideo"-Format benötigen den RealPlayer (www.real.com);