anchor.diff:      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();
  
positive.code:   }
  
  
    /*
    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];
  
negative.code:   String get oldUserpassword =>
        (document.querySelector('#olduserpassword') as InputElement).value;
  
  
  
    String get levelCode =>
        (document.querySelector('#levelCode') as InputElement).value;
  
  
    getAbout() {
      querySelector("#about").innerHtml = "<about id=\"overlay\"><about>";
  