function ein(aktuellerLink)
{
aktuellerLink.style.color="#00FF7F";

}
function aus(aktuellerLink)
{
aktuellerLink.style.color="snow";
}