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