( amanuens ) ; Lagerheim,