  | 
                          8 filet mignons of approximately 7 oz (200 g) each | 
                        
                      
                      
                      
                        
                            | 
                          2 tablespoons vegetable oil | 
                        
                      
                      
                      
                        
                            | 
                          2 tablespoons unsalted butter | 
                        
                      
                      
                      
                        
                            | 
                          1 large onion, peeled and thinly sliced | 
                        
                      
                      
                      
                        
                            | 
                          1 teaspoon garlic, finely chopped | 
                        
                      
                      
                      
                        
                            | 
                          1 lb 2 oz (1/2 k) mushrooms, sliced | 
                        
                      
                      
                      
                        
                            | 
                          1 – 2 tablespoons paprika | 
                        
                      
                      
                      
                        
                            | 
                          1 ½ tablespoons Dijon mustard | 
                        
                      
                      
                      
                        
                            | 
                          3 teaspoons Worcestershire sauce |