Footnote

a According to official documents on display at the Berlin-Plötzensee Memorial, Emmy Zehden was executed on June 9, 1944.