Wie tief darf man in seinem Garten graben?