<!--
var ips = self.location.pathname;
if (window.name!='Inhalt')
     top.location.replace('../index-en.html?' + ips + '~Inhalt');
//-->