linzen, rode (kooktijd 10 minuten) (EN)