function naviAktivierung(linkname)
{
	var navigationslink = document.getElementById("navigation").getElementsByTagName("A");
	for(var i = 0; i < navigationslink.length; i++)
	{
		if (navigationslink[i].firstChild.data == linkname)
		{
			navigationslink[i].parentNode.className = "link_aktiv";
		}
	}
}