If a web3 gaming studio decides to pull the plug of the game servers, what happens to all the digital game assets owned by the players/community?