Zurek-Kibble Domain Structures: The Dynamics of Spontaneous Vortex Formation in Annular Josephson Tunnel Junctions | Synapse