In a hospital the time of birth of a baby within an hour interval (eg between 5:00 and 6:00 in the morning) is uniformly distributed over that hour. What is the probability that a baby is born between 5:15 and 5:25, given that it was born between 5:00 and 6:00?