<!--

function popupElefanten(file)
{
elefantwin = window.open(file,"Elefanten","width=515,height=300");
elefantwin.focus();
return false;
}

//-->