Seol mar théacs é seo: Der Scharfrichter in der deutschen Kulturgeschichte