Contributions by J. M. Auchentaller OM