anchor.diff:     * returns the local Moves
      */
     int getLocalMoves() {
  -    return this.localMoves;
  +    return this._localMoves;
     }
   
     /**
      * returns the global Moves
      */
     int getGlobalMoves() {
  -    return this.globalMoves;
  +    return this._globalMoves;
     }
   
     /**
      * returns the local Pushes
      */
     int getLocalPushes() {
  -    return this.localPushes;
  +    return this._localPushes;
     }
   
     /**
      * returns the global Pushes
      */
     int getGlobalPushes() {
  -    return this.globalPushes;
  +    return this._globalPushes;
     }
   
     /*
      *returns the used time of the actual game since start or last reset
      */
     int getLocalTime() {
  -    return this.localTime;
  +    return this._localTime;
     }
   
     /*
  
positive.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;
    }
  
negative.code:    */
    int getGlobalTime() {
      DateTime dt = new DateTime.now();
      Duration out = dt.difference(_startTime);
      int diff = out.inSeconds;
      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();
      if (stats.containsKey("roundTime")) {
        this._roundTime = stats.remove("roundTime");
      } else {
        this._roundTime = 0;
      }
    }
    /*
  