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