Cook the spaetzle in boiling salted water for about 15 minutes. In the meantime, wash the pork fillets, dab dry and cut into about 12 medallions. Heat oil in a large pan and fry the medallions in it for about 6 minutes while turning.
In the meantime wash, clean and chop the tomatoes. Peel and finely chop the onion. Take out medallions and put aside. Season with salt and pepper. Sauté onion in the frying fat.
Add the tomatoes and braise for 2-3 minutes. Deglaze with cream and stock and bring to the boil. Season with salt and pepper. Drain spaetzle, drain and stir in fat. Then put them into the ramekins (approx. 18 cm Ø; 300 ml content).
Put approx. 3 medallions each in 1 casserole dish. Drizzle tomato sauce over them. Coarsely grate the cheese, spread on the medallions and spaetzle and bake in the preheated oven (electric cooker: 200 °C/ gas: level 3) for approx. 10 minutes.
Serve afterwards and garnish with basil.