var Wo = window.document.location.href;
if (top != self) {
  var E1 = Wo.search(/google.+/);                     // Google Translator
  var E2 = Wo.search(/babelfish.+/);                  // Altavista und Yahoo Babelfish
  var E3 = Wo.search(/translate.+/);                  // Microsoft Bing
  var E4 = Wo.search(/proxy.+/);                      // xxx
  if (E1 == -1 && E2 == -1 && E3 == -1 && E4 == -1) { // kein bekannter Uebersetzungsdienst
    var X1 = Wo.search(/dk3red.+/);                   // eigene alte URL
    var X2 = Wo.search(/qrp4fun.+/);                  // eigene neue URL
    if (X1 != 11 || X2 != 11) {                       // keine eigene URL
      top.location = self.location;                   // Seite befreien
    };
  };
};