// JavaScript Document
function sprachwechsel_deu ()
	{
	var adresse = document.URL;
	var eng = adresse.search(/english/);
	var fra = adresse.search(/francais/);
	var ita = adresse.search(/italiano/);
	var ned = adresse.search(/nederlands/);
	if(eng != -1)
		{
		enadr = adresse.replace(/english/,"deutsch");
		document.location.href = enadr;
		}
	if(fra != -1)
		{
		deadr = adresse.replace(/francais/,"deutsch");
		document.location.href = deadr;
		}
	if(ita != -1)
		{
		enadr = adresse.replace(/italiano/,"deutsch");
		document.location.href = enadr;
		}
	if(ned != -1)
		{
		enadr = adresse.replace(/nederlands/,"deutsch");
		document.location.href = enadr;
		}
	}