Maibaumsetzen 2017: Kranzbinden