Den första kvinnliga chefen för MI5 dog den 3 augusti, 90 år gammal