More on satz215 output.