What Patton Did When Wehrmacht Officers Saluted Hitler Instead of the American Flag