Carl von Lindemann (April 12, 1852 — March 6, 1939), German ...