function neu_laden()
{
var url = location.href;
var ersterTeil = url.split("#");
dieRef = ersterTeil[0];
/*location = location;*/
window.location.href=dieRef;
}

function Fensterweite () {
  if (window.innerWidth) {
    return window.innerWidth;
  } else if (document.body && document.body.offsetWidth) {
    return document.body.offsetWidth;
  } else {
    return 0;
  }
}