[Windmühle als Pumpwerk] / Gries. In: Allgemeine Auf Geschichte Und Erfahrung Gegründete Theoretisch-Practische Wasserbaukunst