Mar 2 manu to Springer, TCSE6 seems to work, with tests.
merge