af alla flags grufalster och för grufdrift erforderliga hjelpmedel.