أرسل هذا في رسالة قصيرة: Hierarchical models of high redshift galaxies with thermally pulsing asymptotic giant branch stars: comparison with observations