Was verdient ein Beamter im höheren Dienst?