anchor.diff:     */
     int getGlobalTime() {
       DateTime dt = new DateTime.now();
  -    Duration out = dt.difference(startTime);
  +    Duration out = dt.difference(_startTime);
       int diff = out.inSeconds;
  -    return roundTime + diff;
  +    return _roundTime + diff;
     }
   
     /*
      *sets the statistics to the given values. Used when loading from a savegame
      */
     loadStats(Map<String, int> stats) {
  -    this.localMoves = stats.remove("localMoves");
  -    this.globalMoves = stats.remove("globalMoves");
  -    this.localPushes = stats.remove("localPushes");
  -    this.globalPushes = stats.remove("globalPushes");
  -    this.localTime = stats.remove("localTime");
  -    this.globalTime = stats.remove("globalTime");
  -    this.startTime = new DateTime.now();
  +    this._localMoves = stats.remove("localMoves");
  +    this._globalMoves = stats.remove("globalMoves");
  +    this._localPushes = stats.remove("localPushes");
  +    this._globalPushes = stats.remove("globalPushes");
  +    this._localTime = stats.remove("localTime");
  +    this._globalTime = stats.remove("globalTime");
  +    this._startTime = new DateTime.now();
       if (stats.containsKey("roundTime")) {
  -      this.roundTime = stats.remove("roundTime");
  +      this._roundTime = stats.remove("roundTime");
       } else {
  -      this.roundTime = 0;
  +      this._roundTime = 0;
       }
     }
     /*
  
positive.code:   resets all "local" values, used if reset
     */
    resetLocal() {
      this.localMoves = 0;
      this.localPushes = 0;
      this.localTime = 0;
    }
  
    /*
    resets all "global" values
     */
    resetGlobal() {
      this.globalMoves = 0;
      this.globalPushes = 0;
      this.globalTime = 0;
    }
  
    /*
    increments Pushes
     */
    incPushes() {
      this.localPushes++;
      this.globalPushes++;
    }
  
    /*
    increments Moves
     */
    incMoves() {
      this.localMoves++;
      this.globalMoves++;
    }
  }
negative.code:    */
    Map<String, int> getStats() {
      Map<String, int> out = new Map();
      out['localMoves'] = _localMoves;
      out['globalMoves'] = _globalMoves;
      out['localPushes'] = _localPushes;
      out['globalPushes'] = _globalPushes;
      out['localTime'] = _localTime;
      out['globalTime'] = _globalTime;
      out['resets'] = _resets;
      //benoetigt keine roundTime
      return out;
    }
  