Domains including axtension.com , mys.com sold for xx,xxx range

It is interesting to see domains including axtension.com , mys.com  sold for xx,xxx range recently.

mys.com domain was sold for $20,000

axtension.com domain was sold for nearly $15,000 (Euro 10,000)

vana.com domain sold for over $10,000

I found out that “axtension” is trademarked and I wonder the trademark holder had acquired the domain. When I looked at the whois data, I was not sure about this.