<!--
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.");
}
//-->
<!--
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
//-->