[822] † Gruben, verb. reg. act. welches für graben nur in einigen Oberdeutschen Gegenden üblich ist. In den Weinbergen gruben, Senkgruben für die Senker machen, daher die ganze Senkarbeit daselbst auch das Gruben genannt wird. In einigen Gegenden ist gruben, wilde Thiere in gegrabenen Gruben fangen.