How many Germans immigrated to France in 1800?