Normal1 = new Image();
Normal1.src = "img/link_inaktiv.jpg";
Highlight1 = new Image();
Highlight1.src = "img/link_aktiv.jpg";
function Bildwechsel (Bildnr, Bildobjekt) {
  window.document.images[Bildnr].src = Bildobjekt.src;
}