Im Staatsarchiv Weimar findet sich ein Kaufvertrag von 1701, der belegt, dass Stephan Stein die Gerstunger Mühle gekauft hat. Dies widerspricht früheren Annahmen, dass die Mühle nur gepachtet wurde, und verändert die Geschichte der Herrenmühle erheblich.
