profes8orscmbetet tog han 1890 afsked med pension.