Allele frequencies after a bottleneck