It is documented that former Nazi soldiers joined the French Foreign Legion and fought in the First Indochina War. How many served? Was there any animosity towards them due to their military background?