Astrophysical: High-redshift galaxies