function sprache_aendern(sprache)
{
	window.location.replace("index.php?l=" + sprache)
}