… der Chef des Gefängniswssens ermächtigt wird, „einen Henker zur Vollstreckung der Todesstrafe” zu bestimmten, die über Adolf Eichmann verhängt worden ist, im Falle das Urteil vom Obersten Gerichtshof bestätigt wird und der Justizminister schriftlich sei…