    <!--
Normal1 = new Image(); 
    Normal1.src = "wett.gif"; 
    Highlight1 = new Image(); 
    Highlight1.src = "wetth.gif"; 

Normal2 = new Image(); 
    Normal2.src = "regl.gif"; 
    Highlight2 = new Image(); 
    Highlight2.src = "reglh.gif"; 

Normal3 = new Image(); 
    Normal3.src = "anme.gif"; 
    Highlight3 = new Image(); 
    Highlight3.src = "anmeh.gif"; 

	

    function Bildwechsel(Bildnr,Bildobjekt)
    {
     window.document.images[Bildnr].src = Bildobjekt.src;
    }
   //-->
    //-->