Wozu eine DRuckpumpe gut sein soll, weiss ich nicht, die macht doch nur Lärm in der Nacht wenn der Druck abgefallen ist, eine Tauchpumpe tut's doch genauso, ist einfacher, billiger und leiser.