function ein(aktuellerLink)
{
aktuellerLink.style.color="#c04000";
aktuellerLink.style.textDecoration="underline";

}

function aus(aktuellerLink)
{
aktuellerLink.style.color="#4a6400";
aktuellerLink.style.textDecoration="none";

}

function einL(aktuellerLink)
{
aktuellerLink.style.color="#c04000";
aktuellerLink.style.textDecoration="underline";

}

function ausL(aktuellerLink)
{
aktuellerLink.style.color="#4a6400";
aktuellerLink.style.textDecoration="underline";

}



function Fensterschliessen()
{
window.close();
}