How many german tanks were used for the battle of the bulge