Moeten wij Hollandse mieren de Italiaanse krekels helpen?