[Windmühle als Pumpwerk] / Gries. In: Allgemeine auf Geschichte und Erfahrung gegründete theoretisch-practische Wasserbaukunst. 1804