Der 20. Juli 1944 und die deutsche Arbeiterbewegung - Mommsen, Hans 1930-2015 (1993)