högsta professorslön åt professor Sofus Lie för att sätta honomi