under professor Holms tjenstledighet förordnades e. o. amanuensen d:r J.