sin lön med undantag af tjenstgöringspenuingar 3000 kr. , ordinarie professorns tjenstgöringspenningar 1 500 kr.