function ein(aktuellerLink)
{
aktuellerLink.style.color="#00001F";
}
function aus(aktuellerLink)
{
aktuellerLink.style.color="lightsteelblue";
}
if (parent.location.href != self.location.href)
 {parent.left.location.href= '../Menue5.html';}