Laut [1] stammt das Pumpenhaus von 1928. -- BanditoX (Diskussion) 20:24, 11. Sep. 2021 (CEST)Beantworten
