amanuensen G . Eichhorn.