"Die Generalsrevolte" : deutsche Emigranten und der 20. Juli 1944 ; Dokumentation.