“The combination of a short range and a powerful thermonuclear weapon was unfortunate. Launched from NATO bases in West Germany, Redstone missiles would destroy a fair amount of West Germany.”