Yesterday, a Henckels 415 sold on ebay for $137.50. It doesn't looks exactly "mint," so I'm wondering why it sold for such a premium over the usual Henckels prices. Is the 415 a special model?