rik manniskomassa afrättades den 13 denneskl.