// Sprachwechsel
var nref;
var oref=window.location.href;
function de2en() {
 if (oref.search(/.htm/)>-1)
  nref=oref.replace(/.htm/,"_en.htm");
 
 window.location.href=nref;
}
function en2de() {
 if (oref.search(/_en.htm/)>-1)
  nref=oref.replace(/_en.htm/,".htm");
 
 window.location.href=nref;
}