Eidgenössische Technische Hochschule Zürich. Geological Institute.