för generalpostdirektören lönen bestämmes till 7,000 och tjenstgöringspenningarne till 3,000 kr.