  This paper gives the first explicit example of a finite separating set in an
invariant ring which is not finitely generated, namely, for Daigle and
Freudenburg's 5-dimensional counterexample to Hilbert's Fourteenth Problem.
