if (parent.location.href==location.href)
{
 parent.location.href="english.html";
}



function FrameChange (URI, Framename)
{
 parent[Framename].location.href = URI;
}



Normal1 = new Image();
Normal1.src = "grafik/b1.gif";
Highlight1 = new Image();
Highlight1.src = "grafik/b1x.gif";

Normal2 = new Image();
Normal2.src = "grafik/b2.gif";
Highlight2 = new Image();
Highlight2.src = "grafik/b2x.gif";

Normal3 = new Image();
Normal3.src = "grafik/b3.gif";
Highlight3 = new Image();
Highlight3.src = "grafik/b3x.gif";

Normal4 = new Image();
Normal4.src = "grafik/b4.gif";
Highlight4 = new Image();
Highlight4.src = "grafik/b4x.gif";

Normal5 = new Image();
Normal5.src = "grafik/b5.gif";
Highlight5 = new Image();
Highlight5.src = "grafik/b5x.gif";

Normal6 = new Image();
Normal6.src = "grafik/b6.gif";
Highlight6 = new Image();
Highlight6.src = "grafik/b6x.gif";

Normal7 = new Image();
Normal7.src = "grafik/b7.gif";
Highlight7 = new Image();
Highlight7.src = "grafik/b7x.gif";

Normal8 = new Image();
Normal8.src = "grafik/b8.gif";
Highlight8 = new Image();
Highlight8.src = "grafik/b8x.gif";

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