<!--
 function checkFrameset() {
  if(!parent.Inhalt)
   location.href="/ger/index.html?" + location.pathname;
 }
//-->