I just checked on the Zemanek website, and this Paiwan knife was sold for 1000 euros.
Now, I regret not bidding myself
as the market price for this kind of knife is usually higher.
Congratulations to the happy new owner. I don't know if he is a member of this forum, but he made a fantastic bargain!
Cheers,
Nicolas