ht arrid följande pieter komma att exequeras: