Arbeiterbewegung jenseits des totalen Staates. Die Gewerkschaften und der 20. Juli 1944 (Europa, 1965)