Normal1 = new Image();
Normal1.src = "/grafik_files/flag_german.gif";
Highlight1 = new Image();
Highlight1.src = "/grafik_files/flag_german_hi.gif";

Normal2 = new Image();
Normal2.src = "/grafik_files/flag_uk.gif";
Highlight2 = new Image();
Highlight2.src = "/grafik_files/flag_uk_hi.gif";

Normal3 = new Image();
Normal3.src = "/grafik_files/flag_france.gif";
Highlight3 = new Image();
Highlight3.src = "/grafik_files/flag_france_hi.gif";

Normal4 = new Image();
Normal4.src = "/grafik_files/flag_nippon.gif";
Highlight4 = new Image();
Highlight4.src = "/grafik_files/flag_nippon_hi.gif";

Normal5 = new Image();
Normal5.src = "/infos/publikationen_files/vauban_dvd.gif";
Highlight5 = new Image();
Highlight5.src = "/infos/publikationen_files/vauban_dvd2.gif";

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