Rotkohl, Leipziger Allerlei