function ein(aktuellerLink)
{
aktuellerLink.style.color="#c04000";
}
function aus(aktuellerLink)
{
aktuellerLink.style.color="#604b44";
}