protogalaxies