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