Die Grüne Woche ist zu Ende.