stod att lönen för professorer är 4 , 000 ; skall vara 5,000 kr.