Mühlebach Hirzel, Spreuermühle