Rindfleisch mit Gemüsesauce, Knödel