What's the story here? I wasn't here early enough to have watched it happen. Is bitfinex a foreign company? How did they justify stealing the btc?