Ils sont devenus quoi les soldats allemands après la guerre ?