Ganz am Ende der Datei einfgen:

{$REVOCATION_TXT}