Sind rote Ameisen gut für den Garten?