<!--
   var frameset_geladen = "okay";

   function SeiteLaden() {
      if(self.location.search.length > 0) {
         var Search_Laenge = self.location.search.length;
         var info_url = self.location.search.substring(1,Search_Laenge);
         self.mitte.location.href = info_url; }
   }
//-->