Coinbase Merges CIE Into Deribit: What Happens to Your Positions