Normal1 = new Image();
Normal1.src = "images/links/porzellandoktor.gif";     
Highlight1 = new Image();
Highlight1.src = "images/links/porzellandoktorx.gif"; 

Normal2 = new Image();
Normal2.src = "images/links/restauration.gif";     
Highlight2 = new Image();
Highlight2.src = "images/links/restaurationx.gif"; 

Normal3 = new Image();
Normal3.src = "images/links/reparatur.gif";     
Highlight3 = new Image();
Highlight3.src = "images/links/reparaturx.gif"; 

Normal4 = new Image();
Normal4.src = "images/links/malerei.gif";     
Highlight4 = new Image();
Highlight4.src = "images/links/malereix.gif"; 

Normal5 = new Image();
Normal5.src = "images/links/referenz.gif";     
Highlight5 = new Image();
Highlight5.src = "images/links/referenzx.gif"; 

Normal6 = new Image();
Normal6.src = "images/links/kontakt.gif";     
Highlight6 = new Image();
Highlight6.src = "images/links/kontaktx.gif"; 

Normal7 = new Image();
Normal7.src = "images/links/scherben.gif";     
Highlight7 = new Image();
Highlight7.src = "images/links/scherbenx.gif"; 


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