Marinade for pork tenderloin

Combine in a mortar or grinder:

• sea salt (1/2 tbsp);
• black pepper (1/4 tbsp);
• mustard seeds (1/2 tsp);
• coriander seeds (1/2 tsp).

Grind them until homogeneous. After that, add the ground spices: hot paprika (1/2 tsp) and dried garlic (1/2 tsp). Mix thoroughly.

Then evenly distribute the resulting spice mixture over the pork tenderloin medallions.

To allow the marinade to better penetrate the meat, add a bit of olive oil (to taste) and mix well again.

Let the medallions marinate for a period of 30 minutes to 8 hours.