842 Heilmayer (Heilmajer), Karl, 1829 - 1908 München