442.163 Hartmann J.P.E. J.P.E. Hartmann Hartmann, J.P.E.