Wie entferne ich Eierfarbe von der Hauswand?

Auf unsere weiße Wand wurden Eier geworfen und dort ist die Wand verfärbt. Wie reinige ich die Wand dort am besten?

Ich würde ein normales Waschmittel konzentriert auftragen und mindestens 24 Stunden einwirken lassen (wegen der aktuellen niedrigen Temperaturen so lange) . Dabei darf die Stelle nicht trocken werden. Dann mit viel Wasser und einer Bürste abwaschen.
Im Waschmittel sind Enzyme, die das Eiweiß abbauen und löslich machen. Wenn man mit harten Mitteln rangehen würde, könnte das Eiweiß im Putz denaturieren und dann nicht mehr zu entfernen sein.
Udo Becker