var protocol = window.location.protocol + "//";
var hostname = window.location.hostname;
var pathname = window.location.pathname;
var lang = "/en";
var url = protocol + hostname + lang + pathname;
url = (url == undefined) ? "" : url;
document.write ('<img src="/media/de_akt.gif" width="20" height="12" alt="" />&nbsp;<a title="english version" href="'+url+'"><img title="english version" src="/media/en.gif" width="20" height="12" alt="" /></a>');


