function externequelleaufrufen (url)
{
  if (opener.top.location.href)
  {
    opener.top.location.href = url;
    return false;
  }
  else
    return true;
}