function ein(aktuellerLink)
{
aktuellerLink.style.color="#42C0FB";
}
function aus(aktuellerLink)
{
aktuellerLink.style.color="#CFCFCF";
}