Ist Lavamulch gut für den Garten?