Was verdient ein Regierungsobersekretär?