function Fensterweite()
{
 if (window.innerWidth) return window.innerWidth;
 else if (document.body && document.body.offsetWidth) return document.body.offsetWidth;
 else return 0;
}
function neuAufbau()
{
 if (xsize != Fensterweite())
 window.history.go(0);
}