Pumpensumpf

Hallo liebe Experten,

Ich habe eine Frage und hoffe das Ihr mir helfen könnt.
Wir haben ein Haus gekauft. Es ist Baujahr 1950. Bei Besichtigung des Kellers ist uns ein modriger Geruch aufgefallen, welcher wohl aus dem Pumpensumpf kommt. Dieser Pumpensumpf wurde dilletantisch gebaut. Die Vorbesitzer haben auch schon einen Kostenvoranschlag machen lassen von 3000 Euronen.
Ich habe einen befreundeten Maurer der dies mit mir machen würde.

Bei Besichtigung des Hauses wurde uns gesagt, dass es früher durchaus üblich war nicht direkt an den Kanal angeschlossen zu werden und das dies durch das Einbauen eines Pumpensumpfes umgangen wurde.

Da ich aber nunmal gar keine Ahnung von der Materie habe, weiss ich nicht welche Art von Pumpe ich verbauen soll.
Falls das noch wichtig ist: Im Keller befinden sich Waschmaschine und eine Toilette, die wir aber gerne wegmachen (nur die Toilette soll weg) möchten.

Wäre lieb wenn mir da jmd eine Pumpe empfehlen könnte. Die Kosten sind in dem Fall egal, soll halt was vernünftiges sein, denn wenn ich eins gelernt habe: "Der billige Kauf, ist meist der teurere Kauf"

Danke schon mal im voraus =)