Hopf, Ludwig, and Nef, Walter