function machGroesser(e) {
    var bigImgName = 'big_';
   
    var u = e.src;
    var d,pn;
    var i = u.lastIndexOf('/');    
    if (i == -1) {
        pn = u;
        d = '';
    }
    else {
        d = u.substr(0,i+1);
        pn = u.substr(i+1);
    }
    if (pn.indexOf(bigImgName) != -1) { // Ist großes Bild!
        return; 
    } 

    e.src= d + bigImgName + pn; // lädt damit neues Bild
}