Testing the Kibble-Zurek scenario with annular Josephson tunnel junctions

In parallel with Kibble's description of the onset of phase transitions in the early Universe, Zurek has provided a simple picture for the onset of phase transitions in condensed matter systems, supported by agreement with experiments in He-3 and superconductors. We show how experiments with annular Josephson tunnel junctions can, and do, provide further support for this scenario.