<!--
var h0 = window.location.href;
var h1 = h0.replace("/en/","/de/");
document.links[0].href = h1;
//-->