anim_pos    = new Image();
anim_pos.src  = "../../../images/deutschland_bau_anim.gif";


function bildWechsel(nummer, welchesBild)            //Definition Funktion / Bildwechsel
{
 document.images[nummer].src = welchesBild.src;
}