<!-- ##Frameset Kontrolle -->
<!--
// Setzt eine Variable, um zu sehen, ob die Seite im
// richtigen Frame läuft

     var frameset_geladen = "okay";

     function tauschen()
     {
     neu_url = self.location.search;
     anker = self.location.search.indexOf('*');
     if(neu_url.length > 0)
     if (anker == -1)
     self.main.location.href = neu_url.substring(1,neu_url.length);
     else    
     self.main.location.href = neu_url.substring(1,anker)
     + '#'
     + neu_url.substring(anker+1,neu_url.length);
     }

// -->