  The end compactification |\Gamma| of the locally finite graph \Gamma is the
union of the graph and its ends, endowed with a suitable topology. We show that
\pi_1(|\Gamma|) embeds into a nonstandard free group with hyperfinitely many
generators, i.e. an ultraproduct of finitely generated free groups, and that
the embedding we construct factors through an embedding into an inverse limit
of free groups, recovering a result of Diestel and Spr\"ussel.
