* @return An element cleaning up the player.
     */
    public Element retire(ServerPlayer serverPlayer) {
        ChangeSet cs = new ChangeSet();
        serverPlayer.csWithdraw(cs); // Clean up the player.
        sendToOthers(serverPlayer, cs);
        return cs.build(serverPlayer);
    }