function NavHighlight(zuHighlighten) {
    zuHighlighten.firstChild.style.color = '#fff';
}

function dehighlight(zuDeaktivieren) {
    zuDeaktivieren.firstChild.style.color = '#bbb';
}