Normal = new Image();
Normal.src = "img/Hintergrund_Logos/Pfeil_gross_gruen.gif";
Highlight = new Image();
Highlight.src = "img/Hintergrund_Logos/Pfeil_gross.gif";

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