function launchURL(urltxt,fName,fBreite,fHoehe)
{
  var fensterOpen;
  if ((fensterOpen == null)||(fensterOpen.closed))
  { fensterOpen = window.open(urltxt,"F_i_"+fName,"width="+fBreite+",height="+fHoehe+",resizable=yes,status=yes,menubar=yes,scrollbars=yes,location=no");
    fensterOpen.opener = top;
    fensterOpen.focus();
  }
  else { fensterOpen.focus(); }
}

function launchURL1(urltxt,fName,fBreite,fHoehe) // zeigt location
{
  var fensterOpen;
  if ((fensterOpen == null)||(fensterOpen.closed))
  { fensterOpen = window.open(urltxt,"F_i_"+fName,"width="+fBreite+",height="+fHoehe+",resizable=yes,status=yes,menubar=yes,scrollbars=yes,location=yes");
    fensterOpen.opener = top;
    fensterOpen.focus();
  }
  else { fensterOpen.focus(); }
}

if (document.location.search.substring(1,document.location.search.length) == "grosseSchrift")
{ 
  grosseSchrift = true;
  schriftURL = document.location.href.substring(0,document.location.href.indexOf('?'));
  txtSchrift = "Kleinere";
}
else 
{
  grosseSchrift = false;
  schriftURL = document.location.href + "?grosseSchrift";
  txtSchrift = "Größere";
}

function schriftWAEHLEN()
{
  document.write("Stellen Sie Ihre optimale <b>Schriftgr&ouml;&szlig;e</b> ein: <br><a href='" + schriftURL + "'>" + txtSchrift + " Schriftzeichen</a><br><br><br>");
}

function SCHRIFTGROESSE()
{
  if (grosseSchrift) { document.write('<font size="+0">'); }
}

var fensterchen = null;

function fenster(loc)
{
  if ((fensterchen == null)||(fensterchen.closed))
  { fensterchen = window.open(loc,"Fenster_chen","width=400,height=230,resizable=yes,status=no,menubar=no,scrollbars=no,location=no"); }
  else {fensterchen.location.href = loc;}
  fensterchen.focus();
}

// STYLE-Definition für Tabellen:
if (!(isNN3 || isNN4))
{ document.write("<STYLE type=\"text/css\">\n<!--\n   TD { font-family: \"Times New Roman\"; }\n   TH { font-family: \"Times New Roman\"; }\n-->\n</STYLE>\n"); }