function ausdrucken()
  {
  window.print();
  }