The found weaknesses were fixed there, also a further security audit of Veracrypt was performed. The BSI knew all that. In reaction to the report from the Open Crypto Audit Project the BSI ...