function changelang(lang) {
	var url = location.href;
	if (lang == "de") {
		url = url.replace("/en/", "/de/");
	} else {
		url = url.replace("/de/", "/en/");
	}
	location.href = url;
}