Provenance: the Haddenham collection of English coins, 13 December 2023, Spink