Normal1 = new Image();
Normal1.src = "pics/start-r-kl.gif";     
Highlight1 = new Image();
Highlight1.src = "pics/start-rg-kl.gif"; 

Normal2 = new Image();
Normal2.src = "pics/dielinke-r-kl.gif";     
Highlight2 = new Image();
Highlight2.src = "pics/dielinke-rg-kl.gif"; 

Normal3 = new Image();
Normal3.src = "pics/termine-r-kl.gif";     
Highlight3 = new Image();
Highlight3.src = "pics/termine-rg-kl.gif"; 

Normal4 = new Image();
Normal4.src = "pics/links-r-kl.gif";     
Highlight4 = new Image();
Highlight4.src = "pics/links-rg-kl.gif"; 

Normal5 = new Image();
Normal5.src = "pics/impressum-r-kl.gif";     
Highlight5 = new Image();
Highlight5.src = "pics/impressum-rg-kl.gif"; 


function Bildwechsel (Bildnr, Bildobjekt) {
  window.document.images[Bildnr].src = Bildobjekt.src;
}