Coda di bue alla maniera tedesca

Ingredienti

• 1 kg di coda
• 1 cipolla
• 1 carota
• 1 gambo di sedano
• 3 porri
• Olio extravergine di oliva
• 3 chiodi di garofano
• 3 foglie di alloro
• 2 cucchiai di farina
• Brodo di carne