den e. o. professorslön å 4,500 kr. , som blifvit ledig genom e. o. professorni