Damped Lyman-alpha systems and galaxy formation | Synapse