Kampf und Untergang der deutschen Panzertruppe 1939 - 1945 = German panzer troops (Müller, 2004)