A house where pumps (e.g. to irrigate) are installed and operated.

synonym: pumping station.

Dutch: gemaal
Polish: pompownia, stacja pomp