Carl sadakichi hartmann biography definition