generalpostdirektören utgår med 10,000 kr.