Development in Federal Germany's energy industry to 1980/85