Title: Contents of the workshop of the late Benno Elkan