Present Status and Aims of Quantum Electrodynamics: Proceedings of the Symposium Held at Mainz University, May 9-10, 1980 (Lecture Notes in Physics)