linzen, rode (kooktijd 10 minuten)