Hartmut Petzold: Der Dresdener Mathematiker und Informatiker Nikolaus Joachim Lehmann und die Mission des Computers