Welche Gehaltsgruppe im öffentlichen Dienst?