// Globale Variablen: wnfOpen, wnf

       function neues_fenster(url)
       {
           var optionen, geschlossen=false;

           // Falls Fenster schon einmal geöffnet wurde: Schließen

           if ( wnfOpen )
           {
               if ( ! wnf.closed )
               {
                   wnf.blur();
                   wnf.close();
                   geschlossen=true;
               }
               wnfOpen=false;
               wnf=null;

               // Explorer meldet Fehler beim wiederholten Generieren des Vergroesserungs-Fensters
               // wenn hier (oder etwas spaeter ein alert() aufgerufen wird, nicht...

               if ( geschlossen == true && navigator.appName != "Netscape" )
               {
                   alert("Bitte klicken für weiter...");
               }
           }

           //alert("wgrossOpen: "+wgrossOpen);

           // Fenster erzeugen, url laden

           wnf = open(url,"neues_fenster");

           wnfOpen=true;

	   // Explorer: bei schon vorhandenem Fenster: Fehler

           wnf.focus(); 

       }