anchor.diff:    String get oldUserpassword =>
         (document.querySelector('#olduserpassword') as InputElement).value;
   
  -  /**
  -   * is used for scaling the gamefield.
  -   */
  +
   
     String get levelCode =>
         (document.querySelector('#levelCode') as InputElement).value;
  +
   
     getAbout() {
       querySelector("#about").innerHtml = "<about id=\"overlay\"><about>";
  
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();
  