har afslutats genom en öfverenskommelse , enligt hvilken arbetstiden från den 1 Juninedsättes