anchor.diff:  
       querySelector("#changename").onMouseDown.listen((MouseEvent f) {
         ksView.changeUserName();
  -      document
  -          .querySelector('#submit')
  -          .onMouseDown
  -          .listen((MouseEvent ev) {
  +      document.querySelector('#submit').onMouseDown.listen((MouseEvent ev) {
           String oldName = ksView.oldUsername;
           String password = ksView.userPassword;
           String username = ksView.username;
  
positive.code:   /*//TODO vielleicht bearbeiten
    takes the positions of the player and the crates
     */
    void updateViewPull(String playerPos_old,
        String playerPos_new, List<String> crates_new) {
      updateStats();
      ksView.updateViewPush(playerPos_old, playerPos_new, crates_new);
      checkWin();
  
negative.code: 
      querySelector("#delete").onMouseDown.listen((MouseEvent f) {
        ksView.userdates();
        document.querySelector('#submit').onMouseDown.listen((MouseEvent ev) {
          String username = ksView.username;
          String password = ksView.userPassword;
          gamekey.deleteUser(username, password);
  