Wie viel darf man im öffentlichen Dienst dazu verdienen?