Proceedings of the Royal Irish Academy: Notes on the electrochemistry of gases