It was a war. The war was stopped and yet the Nazi name has to be pushed back and back into the news, and posterity won’t be so kind to this unseemly extension of WWII which is basically what it really is. He doubtless wasn’t alone that he could just nod and wink at escapees and let them leave, if he wouldn’t shoot he would have been shot.