var complete   = 0;  /* Flag, damit die Funktionen "ein" und "aus" erst bei vollstaendig geladenem Dokument arbeiten */var loadstatus = 1;  /* wenn 0, wurde eine Grafik nicht geladen und Rollover wird komplett ausgeschaltet */function loadimages(){  if (document.images)  {    for (var i = 0; i < document.images.length; i++)    if (document.images[i].name && document.images[i].name.indexOf ('_') == 0)    {      var src = document.images[i].src;      document.images[i].normalsrc = src;      var p = src.indexOf('/normal/')      var img = new Image();    /* zum Vorladen der Grafiken in den Cache! */      img.src = src.substring (0, p) + '/hover/' + src.substring (p+8);      document.images[i].hoversrc = img.src;    }    complete = loadstatus;  }}function seterror(){  loadstatus=0;}function ein (img){  if (complete==1 && img.src.indexOf('/active/')==-1) img.src = img.hoversrc;}function aus (img){  if (complete==1 && img.src.indexOf('/active/')==-1) img.src = img.normalsrc;}function deutsch_backlink (){  if (location.search=='?b')   document.write ('<P><A HREF="javascript:history.back()" class="nt">zur&uuml;ck</A>'); else  if (location.search=='?s')   document.write ('<P><A HREF="javascript:history.back()" class="nt">zur&uuml;ck zum Suchergebnis</A>');}function english_backlink (){  if (location.search=='?b')   document.write ('<P><A HREF="javascript:history.back()" class="nt">return</A>'); else  if (location.search=='?s')   document.write ('<P><A HREF="javascript:history.back()" class="nt">return to search</A>');}function backlink(url){  if ((location.search!='?b') && (location.search!='?s'))   document.write('<P><A HREF="', url, '" class="nt">zur&uuml;ck</A>');}/* ist nicht in Includes enthalten */var js = 1;  /* signaliert der aufrufenden HTML-Datei, dass diese Datei geladen wurde. Wenn nicht, darf kein Script laufen. Dies tritt ein, wenn der Benutzer eine Datei offline gespeichert hat und lesen will. Abfrage mit: if (typeof(js)!='undefined') */