Geothermics and Geothermal Energy: Symposium held during the joint general assemblies of EGS and ESC, Budapest, August 1980