//
  // Statuszeile
  //
  window.defaultStatus = "Der RegExp-Evaluator";