public void changeCurrentServer(Server server) {
   if (server != model.getCurrentServer()) {
     // Wenn der Server der gleiche ist, wurde nur das GUI geupdated, keine Aktion vom User
     if (!model.isLoggedIn()) {
       model.setCurrentServer(server);
       model.fireChange();
     }
   }
 }