What Happened To German Generals After World War 2?