<!--
function einblenden(elementname)
{
 document.getElementById(elementname).style.display='block';
}

function ausblenden(elementname)
{
 document.getElementById(elementname).style.display='none';
}
// -->


function oeffnefenster (url) {
 fenster = window.open(url, "fenster1", "width=600,height=400,status=yes,scrollbars=yes,resizable=yes");
 fenster.focus();
}