Tauchpumpe RP 9500 L./ h.