  A version of the Hardy-Littlewood circle method is developed for number
fields K/Q and is used to show that non-singular projective cubic hypersurfaces
over K always have a K-rational point when they have dimension at least 8.
