if (parent.location.href != self.location.href)
 {parent.left.location.href= '../Menue16.html';}

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

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