hälften af e. o. professors tjenstgöringspenningar , belöper sig på ifrågavarande tid.