// Aktuelle Seite wird in der Navigationsleiste aktiv dargestellt


	function highlightCurrentPageLink() {
	var anzHrefs = document.getElementsByTagName("a").length;
	for (var i = 0; i <= anzHrefs - 1; i++) {
	if (document.getElementsByTagName("a")[i].href == document.location.href) {
	var currentClassName = document.getElementsByTagName("a")[i].className;
	var newClassName = currentClassName.replace(/inaktiv/,"aktiv");
	document.getElementsByTagName("a")[i].className = newClassName;
	}
	}
	}