Was verdient eine Servicekraft im öffentlichen Dienst?