// Bei (Menü-) Link auf aktuelle Seite wird die CSS-Klasse umgestellt von "...NoMark" auf "...Mark" - in Navi dann anders dargestellt
function HighlightCurrentPageLink() 
{
	var anzHrefs = document.getElementsByTagName("a").length;	// Alle Links durchlaufen und pruefen
	for (var i = 0; i <= anzHrefs - 1; i++) 
		{
		if (document.getElementsByTagName("a")[i].href == document.location.href) // Link auf aktuelle Seite gefunden, also umsetzen CSS auf "Mark"
			{
			var currentClassName = document.getElementsByTagName("a")[i].className;
			var newClassName = currentClassName.replace(/NoMark/,"Mark");
			document.getElementsByTagName("a")[i].className = newClassName; 
			}
		}
}