function ein(aktuellerLink)
{
aktuellerLink.style.color="#FF9F00";
}
function aus(aktuellerLink)
{
aktuellerLink.style.color="#996";
}


function einH(aktuellerLink)
{
aktuellerLink.style.color="#FF9F00";
}
function ausH(aktuellerLink)
{
aktuellerLink.style.color="olivedrab";
}

function einT(aktuellerLink)
{
aktuellerLink.style.color="#FF9F00";
}
function ausT(aktuellerLink)
{
aktuellerLink.style.color="#3e3e3e";
}