function quickgoto(url)
 {
  if(url == "null")
  {
    document.forms[0].reset();
    document.forms[0].elements[0].blur();
    return;
  }
  else
   {
    window.location.href = url;
    document.forms[0].reset();
    document.forms[0].elements[0].blur();
   }
 }


function sprache ()
// Gibt als Ergebnis das Sprachkürzel aus dem Pfad zurück ('de' oder 'en')
 {
    s = window.location.href;
    spcode = s.substring (s.lastIndexOf("/")-2, s.lastIndexOf("/"));
    return spcode;
 }

function umschalten ()
 {
  if (sprache()=="de")
  {
    prefix="/en";
  }
  else
  {
    prefix="/de";
  }
    f=window.location.href;
    docname = f.substring (f.lastIndexOf("/"), f.length);
    pfad = f.substring (0, f.lastIndexOf("/")-3);
    window.location.href = (pfad+prefix+docname);
 }