den samlede størrelsen på gruvearbeidersaldoene