Why there is a field algebra with a compact gauge group describing the superselection structure in particle physics