function drucken(fenster)
 {
       fenster.print();
 }