"Operation Walküre" und das Stauffenberg-Attentat auf Adolf Hitler vom 20. Juli 1944 in ausgewählten Fernsehdokumentationen