function ein(aktuellerLink)
{
aktuellerLink.style.color="#800000";
}
function aus(aktuellerLink)
{
aktuellerLink.style.color="darkslategray";
}
function einN(aktuellerLink)
{
aktuellerLink.style.color="#800000";
}
function ausN(aktuellerLink)
{
aktuellerLink.style.color="tan";
}
function einH(aktuellerLink)
{
aktuellerLink.style.color="#ffffff";
}
function ausH(aktuellerLink)
{
aktuellerLink.style.color="#800000";
}