// JavaScript Document
function drucken()
  {
  if (window.print)
  window.print();

  else
  window.alert("Das Drucken über diesen Link ist leider fehlgeschlagen. Bitte verwenden Sie den Drucker-Button Ihres Browsers!");
  }