Heinrich Dieterichs — Baltic German mining engineer (1781-1843)