Annual bulletin of coal statistics for Europe 1980 (United Nations, 1981)