In a saucepan heat ¾ - 1 tablespoon of oil and add bay leaf. (if using precooked sausage use the same pan used to saute sausages and don’t need another bay leaf).
Add onion , garlic and saute on medium - medium high heat until onions are translucent.
Add the lentils along with the water in which it is cooked. If the lentils are not tender by this point, it is ok. Lentils will cook in the soup.
Add stock, celery and marjoram, and give a good stir.
When the celery is half cooked, add carrots, sliced sausages, salt, pepper powder and stir. Continue cooking the soup for another 1 - 2 minutes.
Then reduce the heat to medium low and continue cooking until lentils are tender, about 4-5 minutes. Add more water or stock if required.
Add ketchup and cook for a few minutes until carrots are tender. It should not take too long and carrots should be tender by now. Taste test and adjust seasoning.
Add spinach, cilantro and mix. Increase the flame and bring it to a good boil. I do not like to cook spinach for too long; about a couple of minutes until spinach wilts.