Kann man einen Holzpool eingraben?