* manual/einsteiger.tex: Improved comments around the invariant