för ordinarie professor vid universitet skulle bestämmas till 6,000 kronor , hvarutaf 4,500 kronor lön och 1,500 kronor tjenstgöringspenningar,