Category:19th-century executions in the Holy Roman Empire