Karl Frank was executed.