function setLanguage(langString)
{
var oldLang = "de";
var complete=true;
if (oldLang != langString) {
var reg = new RegExp("\\/" + oldLang + "\\/", "g");
var oldLocation = window.location.href;
var newLocation = oldLocation.replace(reg, "/" + langString + "/");
window.location.href = newLocation;
}
}