Normal1 = new Image();
  Normal1.src = "img/flagge_de_of.gif";
  Highlight1 = new Image();
  Highlight1.src = "img/flagge_de_on.gif";

  Normal2 = new Image();
  Normal2.src = "img/flagge_en_of.gif";
  Highlight2 = new Image();
  Highlight2.src = "img/flagge_en_on.gif";

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