Revised parts of earlier text and finished the proof of the Hahn-Kolmogorov extension theorem.