function SaveAndPreview()
{
  window.open("/wiki/preview.php","Preview","width=640,height=480,location=no,toolbar=no,scrollbars=yes");
  document.editform.target = "Preview";
  document.editform.submit();
  return true;
}

function Artikellink(artikel)
{
  window.location.href="http://de.wikipedia.org/wiki/"+artikel;
}

function Wikipedialink()
{
  window.location.href="http://de.wikipedia.org/";
}

function GNULink()
{
  window.location.href="http://www.gnu.org/licenses/fdl.txt";
}

function AutorenLink(artikel)
{
  window.location.href="http://de.wikipedia.org/w/wiki.phtml?title="+artikel+"&action=history";
}