How many troops and tanks were used in the battle of the bulge by the germans?