Kooktijd: hoe lang rode kool koken?