Roten Wachsfleck einschließlich Farbe entfernen

So habe ich erfolgreich einen roten Wachsfleck (auch die Farbe!) aus einer weißen Leinen-Tischdecke entfernt:

1. Mit einem Messer abkratzen, was abgeht.
2. Wachsfleck mit Fleckenteufel Schmiermittel/Öl behandelt, zwei Mal hintereinander, Einwirkzeit insgesamt etwa 45 Minuten, mit einem Stofftuch entfernt, was abging. Fleck war immer noch rot.
3. Flüssige Bleiche auf den Fleck getupft, ca. 8 Minuten Einwirkzeit.
4. Bei 60 Grad gewaschen (aus Versehen ohne Waschmittel). Wichtig: erst nach der Fleckbehandlung waschen!

Fleck ist nicht mehr sichtbar. Nach allem, was ich bisher gelesen habe, hatte ich darauf kaum gehofft.