bör att generalpostdirektören åtnjuter 7,000 kr.