Rechtbank beveelt restitutie van $9 miljard in Bitcoin in Bitfinex-hackzaak