anchor.diff:    }
   
   
  -  /*
  -  Updates the position of the player and the crates
  -  Receives old and new positions as Strings and updates the html
  -  */
  +  /**
  +   * Updates the position of the player and the crates
  +   * Receives old and new positions as Strings and updates the html
  +   */
     void updateViewPush(String playerPosition_old, String playerPosition_new,
         List<String>cratePosition_new) {
       int pox = getPosition(playerPosition_old)[1];
  
positive.code:   }
  
  
    /*
    Updates the position of the player and the crates
    Receives old and new positions as Strings and updates the html
    */
    void updateViewPull(String playerPosition_old, String playerPosition_new,
        List<String>cratePosition_old) {
      int pnx = getPosition(playerPosition_new)[1];
  
negative.code:     return formatlevel;
    }
  
    /**
     * returns the x- and y-position as interger-values in a list
     */
    List<int> getPosition(String pos) {
      List<String> values = pos.split("_");
      List<int> positions = new List();
  