Was verdient ein Fachinformatiker im öffentlichen Dienst?