anchor.diff:    DateTime _startTime;
     var _roundTime;
     int _resets;
  +  int _actualLevel;
   
     //not used yet
     var _localTime;
  
positive.code:    *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");
  
negative.code:     out['localTime'] = _localTime;
      out['globalTime'] = _globalTime;
      out['resets'] = _resets;
      out['actualLevel'] = _actualLevel;
      //benoetigt keine roundTime
      return out;
    }
  