Christie's Amsterdam. Antiquities and Dutch and foreign coins and medals. Sale 13 November 1985 (1985)