function machGroesser(e) {
 if(w == 1) {
   e.removeAttribute("width");
   w=0;
 } else {
   e.setAttribute("width", "{option}");
   w=1;
 }
}