[724] Grubenkasse, 1) das Vermögen einer Gewerkschaft; 2) eine Zusammensteuer der Arbeiter einer Grube, zur gegenseitigen Unterstützung bei Unglücksfällen.