Ground freezing the 2. International Symposium on Ground Freezing, Trondheim, June 24 - 26, 1980 (Univ., 1980)