minnesfest öfver den i Halle för högförräderi afrättade tyske anarkisten Heindorf.