Het Hollandsch-Duitsch gemaal = Das Hollandisch-Deutsche Pumpwerk door A.M.A.J. Driessen