function transde(){
var s=window.location.href;
s=s.replace("/en/", "/de/");
window.location.href=s;
}
function transen(){
var s=window.location.href;
s=s.replace("/de/", "/en/");
window.location.href=s;
}