function aktivlink() {
var geladen=window.location.href;
var menue = document.getElementById("navi").childNodes;
for (var k=0; k<menue.length;k++) {
var a=menue[k].childNodes;
for (var j=0; j<a.length; j++) {
if (a[j].nodeName.toLowerCase()=="a") {
if (geladen.indexOf(a[j].href)>=0) {
a[j].style.Color="#red";
}}}}}