[454] Pumpstation, Anlage für Pumpwerke, insbes. solche, die Kanaljauche auf Rieselfelder befördern.
Lueger-1904: Pumpstation