Was tun wenn Gartenpumpe kein Wasser zieht?