[425] Hochstein, Kirchdorf im Canton Winnweiler des baierischen Kreises Pfalz; Eisenschmelze, Eisenhammer; 400 Ew.
Meyers-1905: Hochstein
Pierer-1857: Hochstein