dömdes en arbetare vid namn Michalski till döden och afrättades.