<!--
function framemich()
{
 if(top.frames.length == 0)
  { top.location = "/index.html" }
}
// -->
<!--
function printPage() {
if (window.print)
window.print()
else
alert("Die Druckfunktion wird von diesem Browser leider nicht unterstuetzt.");
}
//-->