// JavaScript Document
function sw_lang(){
	var pfad = window.location.pathname;
	if( pfad.match(/^\/de\//i) ){
		window.location.href = pfad.replace(/^\/de\//i, "/en/");
	} else if( pfad.match(/^\/en\//i) ){
		window.location.href = pfad.replace(/^\/en\//i, "/de/");
	}
}