normal1= new Image();
normal1.src = "grafik/auf_1.gif";
highlight1 = new Image();
highlight1.src = "grafik/auf_2.gif";

normal2= new Image();
normal2.src = "grafik/aktuelles_1.gif";
highlight2 = new Image();
highlight2.src = "grafik/aktuelles_2.gif";

normal3= new Image();
normal3.src = "grafik/archiv_1.gif";
highlight3 = new Image();
highlight3.src = "grafik/archiv_2.gif";

normal4= new Image();
normal4.src = "grafik/kontakt_1.gif";
highlight4 = new Image();
highlight4.src = "grafik/kontakt_2.gif";

normal5= new Image();
normal5.src = "grafik/links_1.gif";
highlight5 = new Image();
highlight5.src = "grafik/links_2.gif";


function flip(bild,ziel) {

document.images[ziel].src = eval(bild +".src")

} // flip

function seitenanfang() {

window.scrollTo(0,0);

} // seitenanfang