Anton Sohn (German, 1840)