  <!--
  Normal1 = new Image(); 
  Normal1.src = "willkommen.gif"
  Highlight1 = new Image(); 
  Highlight1.src = "willkommen1.gif"

  Normal2 = new Image(); 
  Normal2.src = "camping.gif"
  Highlight2 = new Image(); 
  Highlight2.src = "camping1.gif"

  Normal3 = new Image(); 
  Normal3.src = "gaestehaus.gif"
  Highlight3 = new Image(); 
  Highlight3.src = "gaestehaus1.gif"

  Normal4 = new Image(); 
  Normal4.src = "umgebung.gif"
  Highlight4 = new Image(); 
  Highlight4.src = "umgebung1.gif"

  Normal5 = new Image(); 
  Normal5.src = "anfahrt.gif"
  Highlight5 = new Image(); 
  Highlight5.src = "anfahrt1.gif"

  Normal6 = new Image(); 
  Normal6.src = "email.gif"
  Highlight6 = new Image(); 
  Highlight6.src = "email1.gif"


  function Bildwechsel(Bildnr,Bildobjekt)
  {
   window.document.images[Bildnr].src = Bildobjekt.src;
  }
 //-->