function pic_l(Bildname) {
  window.document.getElementById(Bildname).src = "img/index/"+Bildname+"_l.png";
}

function pic(Bildname) {
  window.document.getElementById(Bildname).src = "img/index/"+Bildname+".png";
}