ADB:Gravenhorst, Christoph Julius
Der Artikel „Gravenhorst, Christoph Julius“ existiert in der Allgemeinen Deutschen Biographie in dieser Form nicht und/oder der Name „Gravenhorst, Christoph Julius“ ist nicht eindeutig, da es mehrere Personen mit diesem Namen gibt. |
Christoph Julius Gravenhorst (* 1731; † 1794) wird im Artikel seines Bruders Johann Heinrich Gravenhorst (* 1719; † 1781) behandelt.