EFH 1950s, Betonkellerwände Mischung?

Das Haus hat ein Streifenfundament, auf Lehmboden. Es ist in den Hang eines Hügels gebaut.
Die Kellerwände sind ca. 36 cm dick und haben keine Bewehrung; die Böden sind einfach, eine Art wasserfester Zement, der über Kies gelegt wird, der direkt auf dem Boden liegt. Das gesamte Haus ist mit Kalkputz verputzt.

Die Kellerwände und der Boden waren immer trocken ... bis wir ~2010 von einem Öltank auf Gas umgestellt haben. Die Firma, die die Gasleitung verlegt hat, hat ein riesiges Loch durch die Kellerwand direkt über dem Fundament gebohrt, und seitdem ist an dieser Stelle Wasser eingedrungen.

Die undichte Wand zeigt in die Richtung, aus der der Regen immer kommt, also fließt das Regenwasser die Wand hinunter... in den Keller.

Endlich tue ich etwas dagegen. Ich habe einen Graben entlang dieser Wand bis zum Fundament ausgehoben und das kriminelle Loch freigelegt. (Dieser Graben wird auch für ein Sickerrohr verwendet, nur für den Fall.)

Es ist klar, dass dieser sehr harte (!!) und unbrauchbare Zement herauskommen muss. Das Problem ist, dass ich nicht weiß, womit ich ihn ersetzen soll. Am liebsten würde ich denselben Beton verwenden, aus dem die Wände gebaut sind, aber ich habe keine Ahnung, aus welchen Bestandteilen die Mischung besteht. Unten sehen Sie ein Foto der Wandkonstruktion.

Ich wäre Ihnen sehr dankbar, wenn Sie mir bei diesem Problem helfen könnten, oder wenn Sie mich auf ein Forum verweisen könnten, das mir helfen könnte?