function schliessen()
 {
   var check=processing.closed; 
   if (check==false) {processing.close()} ;
 }