<!--
var ZielDatei = "index.html?"+ location.pathname;
      if (!top.FramesetGeladen){
 	if(document.images)
  	top.location.replace(ZielDatei);
  	else
  	top.location.href = ZielDatei ;
      }
//-->