function altlang()
{
if (document.URL.search(/\/deutsch\//) >= "0") // URL enthaelt "/deutsch/"
   {altlink="English";
    alturl= document.URL.replace(/\/deutsch\//, "/english/"); }
else
   {altlink="Deutsch";
    alturl= document.URL.replace(/\/english\//, "/deutsch/"); }

document.write('<a href="'+alturl+'" class="nav">'+ altlink +'</a>');

//document.write(' <p>link:  '+ altlink +' ; new url: '+alturl+' <br>act:  '+document.URL+'</p>');
}

function lang()
{
if (document.URL.search(/\/deutsch\//) >= "0") // URL enthaelt "/deutsch/"
   {return "d" }
else
   {return "e"}
}