‘Bitcoin miner Bitmain gaat 50% personeel schrappen’