Stir fry onions and garlic in pressure cooker pot and 2 tbsp butter. Add paprika.
Add beef and fry until partially cooked.
Add broth and wine.
Put tomato halves on top of beef with skin side up. Cover and simmer for 5 minutes. Then, with a metal-tip tong, remove the soften skin from each tomato.
Add tomato ketchup and brown sugar. Add salt and black pepper to taste.
Add carrots and potatoes.
Cover and pressure cook for 30 minutes.
Release pressure and open cooker. Add corn starch dissolved in water and stir well. Simmer to allow the soup to thicken.