Bruno Bauch on differential calculus