Alfred Eisner on the death of Reinhard Heydrich