      <!--
        // Aufbau des Datei-Arrays
        var bildnummer=new Array()
          bildnummer[0]="images/start/dia_ansicht_sued.jpg"
          bildnummer[1]="images/start/dia_aussen.jpg"
          bildnummer[2]="images/start/dia_businessloge.jpg"
          bildnummer[3]="images/start/dia_detailschnitt_aa.jpg"
          bildnummer[4]="images/start/dia_innen.jpg"
          bildnummer[5]="images/start/dia_loge.jpg"
          bildnummer[6]="images/start/dia_nacht_event.jpg"
          bildnummer[7]="images/start/dia_nacht_sport.jpg"
          bildnummer[8]="images/start/dia_schnitt_aa.jpg"

        // Dateiladen vor dem HTML-Seitenaufbau
        var imgpreload=new Array()
          for (i=0;i<=bildnummer.length-1;i++) {
                 imgpreload[i]=new Image()
            imgpreload[i].src=bildnummer[i]
          }

        // Diese Funktion veranlasst den Bildwechsel
        var nummer = 0;
          function diatausch() {
            document.dia.src = ""+bildnummer[nummer];
            nummer += 1;
            if (nummer == 9) nummer = 0;
              setTimeout("diatausch()", 1000);
          }
      //-->