Just discovered that only 13 Nazis were actually executed, along with 20 life sentences. There were also 100 or so who ended up serving 5-10 years. Always thought it was much higher, seems like the execution number should have been at least 1000.