Return all of the cooked onions to the pan and add the bay leaves, white wine vinegar ... using a hand-held blender (or transfer to a food processor and blend). Add a little water if the ketchup ...