[562] Gravenhorst, Dorf im Kreise Tecklenburg des Regierungsbezirks Münster der preußischen Provinz Westfalen, Eisenhütte; 200 Ew.
Meyers-1905: Gravenhorst
Pierer-1857: Gravenhorst [2]