Wie hoch wird maigrün?