Nonsmooth Equations in Optimization by Diethard Klatte & Bernd Kummer