On the symplectic eightfold associated to a Pfaffian cubic fourfold

Tools