der zwanzigste juli war ein tag der befreiung.