deremot lönen till 7,000 och tjenstgöringpenningarna till 3,000 kr. , inalles 10,000 kr. , med vilkor att , om generalpostdirektören åtnjuter fribostad