de = new Image();
de.src = "img/button_de.gif";
deht = new Image();
deht.src = "img/buttonHigh_de.gif";

en = new Image();
en.src = "img/button_en.gif";
enht = new Image();
enht.src = "img/buttonHigh_en.gif";

de_b1 = new Image();
de_b1.src = "img/de_button_1.gif";
de_b1ht = new Image();
de_b1ht.src = "img/de_buttonHigh_1.gif";

de_b2 = new Image();
de_b2.src = "img/de_button_2.gif";
de_b2ht = new Image();
de_b2ht.src = "img/de_buttonHigh_2.gif";

de_b3 = new Image();
de_b3.src = "img/de_button_3.gif";
de_b3ht = new Image();
de_b3ht.src = "img/de_buttonHigh_3.gif";

de_b4 = new Image();
de_b4.src = "img/de_button_4.gif";
de_b4ht = new Image();
de_b4ht.src = "img/de_buttonHigh_4.gif";

de_b5 = new Image();
de_b5.src = "img/de_button_5.gif";
de_b5ht = new Image();
de_b5ht.src = "img/de_buttonHigh_5.gif";

en_b1 = new Image();
en_b1.src = "img/en_button_1.gif";
en_b1ht = new Image();
en_b1ht.src = "img/en_buttonHigh_1.gif";

en_b2 = new Image();
en_b2.src = "img/en_button_2.gif";
en_b2ht = new Image();
en_b2ht.src = "img/en_buttonHigh_2.gif";

en_b3 = new Image();
en_b3.src = "img/en_button_3.gif";
en_b3ht = new Image();
en_b3ht.src = "img/en_buttonHigh_3.gif";

en_b4 = new Image();
en_b4.src = "img/en_button_4.gif";
en_b4ht = new Image();
en_b4ht.src = "img/en_buttonHigh_4.gif";

en_b5 = new Image();
en_b5.src = "img/en_button_5.gif";
en_b5ht = new Image();
en_b5ht.src = "img/en_buttonHigh_5.gif";

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