Quelltext der Seite Pumpenhaus

'''Pumpenhaus''' bezeichnet 
* ein Gebäude, in dem eine oder mehrere [[Pumpe]]n untergebracht sind; siehe auch [[Pumpwerk]]
Einzelne Pumpenhäuser:
* [[Maschinenhaus (Lustgarten)]], Berlin 
* [[Turbinenhaus (Detmold)]]
* [[Polsterberger Hubhaus]], Oberharz
* das Pumpen- und Filterhaus am Maschsee in Hannover, siehe [[Maschseequelle]]
* [[Dampfmaschinenhaus für Sanssouci]], Potsdam 
* [[Riet#Das Pumpenhaus|Pumpenhaus (Riet)]], Baden-Württemberg 
* Pumpenhaus als Teil des [[Altes Wasserwerk (Bonn)|Alten Wasserwerks in Bonn]], 1986–1992 Plenarsaal des Deutschen Bundestages

'''Siehe auch''':
{{Wiktionary}}
* [[Theater im Pumpenhaus]]
* [[Brunnenpumphaus]]
{{Begriffsklärung}}