A box contains two coins: one is fair, and the other is double-tailed. A coin is selected at random and tossed once. Given that the result is tails, what is the probability that the selected coin was the double-tailed coin?