// Framekeeper

if(top.location.href == self.location.href){

  u = document.location.href
  s = document.location.search.substring(1)

  if( u.match(/\/de\//)){
   p = u.split("/de/")
   document.location.href = "../../index2.html?"+encodeURI(p[1])
  }

  if( u.match(/\/en\//)){
   p = u.split("/en/")
   document.location.href = "../../index2_en.html?"+encodeURI(p[1])
  }

}