Baumstümpfe aus Garten entfernen

Hallo!

Bekannte haben einen großen Garten am neu gekauften Haus und am Ende des Gartens stehen 3 riesige Baumstümpfe mit einem Durchmesser von mehr als einem halben Meter. Sie haben schon versucht, die Baumstümpfe auszugraben. Aber die Wurzeln sind dermaßen dicht und viel, dass sie mit einem normalem Spaten nicht weiterkommen.

Die Baumstümpfe sind scheinbar auch schon sehr alt. Teilweise bröckeln sie auch schon. Aber nicht so sehr, dass man den Baumstumpf einfach zerhacken kann. Mit einem Bagger kommen sie nicht in diesen Teil des Gartens. Aber die Baumstümpfe können auch nicht stehen bleiben, weil dort ein Teich hin soll.

Gibt es irgendwas, was biologisch abbaubar ist, was man über das Holz giessen kann und der Baumstumpf schneller verfault und verschwindet? Wie würdet ihr solch riesige Baumstümpfe aus dem Garten machen?

Wir mussten vor ein paar Jahren eine riesige Weide im Garten fällen, weil sie kaputt war und ich kann dir aus Erfahrung sagen, dass bei dem Baumstumpf nur Geduld und reine Muskelkraft helfen. Wir haben die Wurzeln teilweise mit dem Spaten freigelegt und abgestochen und die dickeren Wurzeln mit der Axt zerhackt. Das Ganze hat wirklich ewig gedauert und war unheimlich anstrengend, aber meines Wissens gibt es kein Mittel, dass das Holz aufweicht oder mürbe macht.