Hoher Roter Krauser (Grünkohl)