Title: Pay of industrial civil servants