function printPage1() {
  if (window.print) window.print()
  else
    alert("Sorry, aber Ihr Browser unterstüzt nicht das direkte Drucken von HTML-Seiten!");
}