If the loser of an auction was to get his tokens back then it would only be fair for the winner to be refunded his tokens ?
So what would be the point of an auction.