Anfonwch hwn fel neges destun: Hierarchical models of high redshift galaxies with thermally pulsing asymptotic giant branch stars: comparison with observations