Ehinger, Otto Jakob