genom vår förklaring af den 18 maj förlidet år , hvilken har följande lydelse : » Arbets tidens normala längd i grufvorna är 8 timmar ,och