Also, ich kann meine Frage inzwischen selbst beantworten. Danke an den Hinweis mit dem Bleichen. Das habe ich zwar nicht gemacht, hat mich aber auf eine andere Idee gebracht. In meinem Haushalt fand sich in einer alten Packung "Linda neutral" (mit DM-Preis !) noch ein Rest dieser Waschpaste. Die habe ich aufgetragen und dann die Flecke gebürstet und gerubbelt bis alles raus war. Zum Glück ist der Stoff (Polyester) robust genug und hat die Prozedur schadlos überstanden. Dann noch mal in den Spülgang der Waschmaschine : Jacke gerettet!