revisions 846:897 into trunk, with approval and peer review of manager (Luca).
git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@898 3ecf2c5c-341e-0410-92b4-d18e462d057c
Another commit fixing arising errors _could_ follow (but maybe not,
if I've been good enough ;-)).
git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@628 3ecf2c5c-341e-0410-92b4-d18e462d057c