JMPC: Jochen Martens personal collection, University of Mainz, Mainz, Rhineland-Palatinate, Germany