<!-- 
 //----------------------------------------------------------------------------
 // Dieses Script überprüft, ob die Seite innerhalb des FrameSets geladen wird.
 // Falls nicht, wird stattdessen das FrameSet geladen
 //----------------------------------------------------------------------------
 if (window.name != 'navigation' )
   { 
     document.location.href='index.html' 
   } 
//--->