Auctioning Internet Domain Names the Old-fashioned Way