<!--
/* Bildwechsel f�r Mouseover-Effekt */

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

//-->