öfverenskommelse nått » mellan grufegarne och arbetarne om löneförhöjning.