function chimg(bildname) {
 bildname = bildname.replace(/miniaturen/g, "teaser");
 document.getElementById("teaser").src=bildname;
 }