Welcher Hersteller ist Erstausrüster bzw. welcher Hersteller ist zu empfehlen? Wo kann man eine neue Pumpe für ein geeigneten Betrag beziehen? Danke.