// Datei: scripts.js

function animation(){
  document.ani.src = bilder[naechstesBild]
  naechstesBild++
  if (naechstesBild==bilder.length)
    naechstesBild = 0
    setTimeout("animation()", verzoegerung)
}