Bitwa o Warszawe̜ (1 sierpnia - 2 paździenika 1944 r.). Fakty i dokumenty