$CRV O CEO von CRV verkauft Tokens, ist das gut oder schlecht??