Her indbragte de hele 465.400 pund - ca. 4 mio. dkk – det højeste beløb, papirer, som har tilhørt Turing nogensinde er solgt ...