Biographical notes and bibliography of Michael E. Krauss