Confirmed in Sedo's recent sales.
https://sedo.com/rss/rss_list.php?rss_id=17&partnerid_rss=14743&tracked=&partnerid=14743&language=e
Wow... sounds terrible :S. .club launched general availability 7th May, this was hand registered 29th May.. someone just won the domain lottery. :)...