Was verdient man im öffentlichen Dienst in Teilzeit?