Ganz am Ende der Datei einfgen:

{$REVOCATION_HTML}