UNTIL a few weeks ago, much of what I knew of Mata Hari I’d gathered from an eponymous pinball machine I’d played as a child. Its cartoon backdrop showed a brunette, supine on a tiger-skin rug and ...