// Sprachwechsler



function changeLang(zielsprache)
{
var aktpfad = window.location.pathname;
var sprachpunkt = aktpfad.lastIndexOf("_");
var startendung = aktpfad.lastIndexOf(".");
var neupfad = aktpfad.substr(0,[sprachpunkt]);
var dateiendung = aktpfad.substr(startendung);
window.location.replace(neupfad + "_" + zielsprache + dateiendung);
}


//und diese braucht's nix mehr...

function langD()
{
 var aktpfad = window.location.pathname;
 var sprachstand = aktpfad.lastIndexOf("_");
 var neupfad = aktpfad.substr(0,[sprachstand]);
 window.location.replace(neupfad + "_d.htm");
}

function langE()
{
 var aktpfad = window.location.pathname;
 var sprachstand = aktpfad.lastIndexOf("_");
 var neupfad = aktpfad.substr(0,[sprachstand]);
 window.location.replace(neupfad + "_e.htm");
}

function langF()
{
 var aktpfad = window.location.pathname;
 var sprachstand = aktpfad.lastIndexOf("_");
 var neupfad = aktpfad.substr(0,[sprachstand]);
 window.location.replace(neupfad + "_f.htm");
}