i stadsbiblioteket i Mainz gjorde bibliotekarien d:r Velkeen