if(window.location.href.substr(0,19) == "http://rofrisch.de/")
 {
  var NeueURL = "http://www.rofrisch.de/" + window.location.href.substring(19,window.location.href.length);
  window.location.href = NeueURL;
 }