C’est la fête de la choucroute à Krautergersheim !