den uppgörelse i godo som ingåtts emellan statsverket och destrejkande