German tanks used in the movie battle of the bulge