Normal1 = new Image();
Normal1.src = "Bilder/space.gif";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "Bilder/quado2.gif"; /* erste Highlight-Grafik */
function Bildwechselhin (wo) {
   document.getElementById(wo).src = "Bilder/quado3.gif";
}
function Bildwechselher (wo) {
   document.getElementById(wo).src = "Bilder/space.gif";
}