What happened to German soldiers after World War II?