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

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