A domain goes through various stages before it becomes available for registration again. They are auctioning them after expiration but before general availability.