function switchLang(new_language) {

var currentURL = document.location.href;
//alert(currentURL);

var is_at = currentURL.indexOf("/en/");
if (is_at == -1) {
is_at = currentURL.indexOf("/de/");}
var from = is_at + 1
var to = is_at + 3


var the_beginning = currentURL.substring(0, from);
var the_end = currentURL.substring(to, currentURL.length);

var newURL = the_beginning + new_language + the_end;

//alert(newURL);
document.location.href = newURL;
//location.reload(document.location.href = newURL)

//document.location.href = newURL;
//location.reload();
}