Hydrogen energy progress proceedings of the 3rd World Hydrogen Energy Conference held in Tokyo, Japan, 23 - 26 june 1980