VeraCrypt wird einem Audit unterzogen