Derendingen, Mühle