anzahl=document.getElementsByName("nmen").length;
  for (i = 0; i < anzahl; i++){
    seite = document.URL;
    nmlink = document.getElementsByName("nmen")[i].href;
    if (nmlink == seite) {
      document.getElementsByName("nmen")[i].style.color ="#CF002E";
    }
  }