You might also know this place by the following names:
Harleshausen, Harleshusen, Herldeshusun [a. 1074]