I washed the shirt once at 40°C and the dirt and the burgundy color is gone, not it is bright red that is left, ouch.

A friend of mine took pictures of the unwashed shirt with his cell phone, I'll upload them as soon as he hands them to me.
At least it has been a quite old shirt...
Second round of machine washing in progress.