arbetare , som warit sysselsatta wid hallens uppförande.