Geomechanics in open cast and underground mining. (Workshop course, 1974)