Chef der Krypto-Durchsetzung der SEC scheidet nach 9 Jahren aus