  The first part of this paper is a refinement of Winkelmann's work on
invariant rings and quotients of algebraic groups actions on affine varieties,
where we take a more geometric point of view. We show that the (algebraic)
quotient $X/\!/\!G$ given by the possibly not finitely generated ring of
invariants is "almost" an algebraic variety, and that the quotient morphism
$\pi\colon X \to X/\!/\! G$ has a number of nice properties. One of the main
difficulties comes from the fact that the quotient morphism is not necessarily
surjective.
  These general results are then refined for actions of the additive group
$\mathbb{G}_a$, where we can say much more. We get a rather explicit
description of the so-called plinth variety and of the separating variety,
which measures how much orbits are separated by invariants. The most complete
results are obtained for representations. We also give a complete and detailed
analysis of Roberts' famous example of a an action of $\mathbb{G}_a$ on
7-dimensional affine space with a non-finitely generated ring of invariants.
