Text this: Revision, technical aspects and reproduction of the Hastings' counterexample of the additivity conjecture of the Holevo capacity