How many troops were involved in the German army?