Wie viel Steuern zahlt man im öffentlichen Dienst?