Colloquium on Global Differential Geometry and Global Analysis Berlin, 10. 6. - 14. 6. 1984 (Techn. Univ. Berlin, 1984)