function ein(aktuellerLink)
{
aktuellerLink.style.color="#2F4F4F";
}
function aus(aktuellerLink)
{
aktuellerLink.style.color="#47230B";
}