Der 20. Juli - Budde, Eugen (Haven, 1952)