<!--
  var NeuF;
  function NeuesFenster(url,breite,hoehe)
  {
  if(NeuF)
    {
    if(NeuF.closed != true)
      {
      NeuF.close()
      }
    }
    eigenschaften = 'width='+breite+',height='+hoehe;
    NeuF = window.open(url,"f01",eigenschaften);
    return;
  }
//-->